Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is nice. If someone is blue and furry then they are kind. Blue, green people are cold. If someone is green then they are nice. If someone is cold and furry then they are nice. All furry, kind people are big. All furry, kind people are blue. Cold people are furry. Kind, nice people are furry.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
If someone is blue and furry then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
Blue, green people are cold.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is green then they are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and furry then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
All furry, kind people are big.
((("someone" "is" "furry" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
All furry, kind people are blue.
((("someone" "is" "furry" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Cold people are furry.
((("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
Kind, nice people are furry.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "+"))
Bob is nice.
True
1
proof
[(triple7 OR ((triple5) -> rule3) OR ((triple3 triple4) -> rule4) OR ((triple3 ((triple3) -> rule7)) -> rule4) OR ((((triple2 triple5) -> rule2) triple4) -> rule4) OR ((((triple2 triple5) -> rule2) ((triple3) -> rule7)) -> rule4) OR ((triple3 ((((triple2 triple5) -> rule2)) -> rule7)) -> rule4) OR ((((((triple4 triple6) -> rule6) triple5) -> rule2) triple4) -> rule4) OR ((((triple2 triple5) -> rule2) ((((triple2 triple5) -> rule2)) -> rule7)) -> rule4) OR ((((((triple4 triple6) -> rule6) triple5) -> rule2) ((triple3) -> rule7)) -> rule4) OR ((((((triple4 triple6) -> rule6) triple5) -> rule2) ((((triple2 triple5) -> rule2)) -> rule7)) -> rule4))]
("Bob" "is" "nice" "+")
triple7
((triple5) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple3 triple4) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple3 ((triple3) -> (rule7 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple2 triple5) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple2 triple5) -> (rule2 % int3)) ((triple3) -> (rule7 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((triple3 ((((triple2 triple5) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple4 triple6) -> (rule6 % int3)) triple5) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple2 triple5) -> (rule2 % int3)) ((((triple2 triple5) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple4 triple6) -> (rule6 % int4)) triple5) -> (rule2 % int3)) ((triple3) -> (rule7 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((triple4 triple6) -> (rule6 % int4)) triple5) -> (rule2 % int3)) ((((triple2 triple5) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is not kind.
False
1
inv-proof
[(triple6 OR ((triple2 triple4) -> rule1) OR ((triple2 ((triple3) -> rule7)) -> rule1) OR ((triple2 ((((triple2 triple5) -> rule2)) -> rule7)) -> rule1))]
("Bob" "is" "kind" "-")
triple6
((triple2 triple4) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple2 ((triple3) -> (rule7 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((triple2 ((((triple2 triple5) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
@0: Bob is big.[(triple1 OR ((triple4 triple6) -> rule5) OR ((triple4 ((triple2 triple4) -> rule1)) -> rule5) OR ((((triple3) -> rule7) triple6) -> rule5) OR ((((triple6 triple7) -> rule8) triple6) -> rule5) OR ((((triple3) -> rule7) ((triple2 triple4) -> rule1)) -> rule5) OR ((((triple6 triple7) -> rule8) ((triple2 triple4) -> rule1)) -> rule5) OR ((triple4 ((triple2 ((triple3) -> rule7)) -> rule1)) -> rule5) OR ((((((triple2 triple5) -> rule2)) -> rule7) triple6) -> rule5) OR ((((triple6 ((triple5) -> rule3)) -> rule8) triple6) -> rule5) OR ((((triple3) -> rule7) ((triple2 ((triple3) -> rule7)) -> rule1)) -> rule5) OR ((((((triple2 triple5) -> rule2)) -> rule7) ((triple2 triple4) -> rule1)) -> rule5) OR ((((triple6 triple7) -> rule8) ((triple2 ((triple3) -> rule7)) -> rule1)) -> rule5) OR ((((triple6 ((triple5) -> rule3)) -> rule8) ((triple2 triple4) -> rule1)) -> rule5) OR ((((((triple2 triple5) -> rule2)) -> rule7) ((triple2 ((triple3) -> rule7)) -> rule1)) -> rule5) OR ((((triple6 ((triple5) -> rule3)) -> rule8) ((triple2 ((triple3) -> rule7)) -> rule1)) -> rule5) OR ((triple4 ((triple2 ((((triple2 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule5) OR ((((triple3) -> rule7) ((triple2 ((((triple2 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule5) OR ((((triple6 triple7) -> rule8) ((triple2 ((((triple2 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule5) OR ((((((triple2 triple5) -> rule2)) -> rule7) ((triple2 ((((triple2 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule5) OR ((((triple6 ((triple5) -> rule3)) -> rule8) ((triple2 ((((triple2 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule5))] Bob is blue.[(triple2 OR ((triple4 triple6) -> rule6) OR ((((triple3) -> rule7) triple6) -> rule6) OR ((((triple6 triple7) -> rule8) triple6) -> rule6) OR ((((triple6 ((triple5) -> rule3)) -> rule8) triple6) -> rule6))] Bob is cold.[(triple3 OR ((triple2 triple5) -> rule2) OR ((((triple4 triple6) -> rule6) triple5) -> rule2) OR ((((((triple6 triple7) -> rule8) triple6) -> rule6) triple5) -> rule2) OR ((((((triple6 ((triple5) -> rule3)) -> rule8) triple6) -> rule6) triple5) -> rule2))] Bob is furry.[(triple4 OR ((triple3) -> rule7) OR ((triple6 triple7) -> rule8) OR ((((triple2 triple5) -> rule2)) -> rule7) OR ((triple6 ((triple5) -> rule3)) -> rule8))] Bob is green.[(triple5)] Bob is kind.[(triple6 OR ((triple2 triple4) -> rule1) OR ((triple2 ((triple3) -> rule7)) -> rule1) OR ((triple2 ((((triple2 triple5) -> rule2)) -> rule7)) -> rule1))] Bob is nice.[(triple7 OR ((triple5) -> rule3) OR ((triple3 triple4) -> rule4) OR ((triple3 ((triple3) -> rule7)) -> rule4) OR ((((triple2 triple5) -> rule2) triple4) -> rule4) OR ((((triple2 triple5) -> rule2) ((triple3) -> rule7)) -> rule4) OR ((triple3 ((((triple2 triple5) -> rule2)) -> rule7)) -> rule4) OR ((((((triple4 triple6) -> rule6) triple5) -> rule2) triple4) -> rule4) OR ((((triple2 triple5) -> rule2) ((((triple2 triple5) -> rule2)) -> rule7)) -> rule4) OR ((((((triple4 triple6) -> rule6) triple5) -> rule2) ((triple3) -> rule7)) -> rule4) OR ((((((triple4 triple6) -> rule6) triple5) -> rule2) ((((triple2 triple5) -> rule2)) -> rule7)) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple4 triple6) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple4 ((triple2 triple4) -> (rule1 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple3) -> (rule7 % int2)) triple6) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple6 triple7) -> (rule8 % int2)) triple6) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple3) -> (rule7 % int3)) ((triple2 triple4) -> (rule1 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple6 triple7) -> (rule8 % int3)) ((triple2 triple4) -> (rule1 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((triple4 ((triple2 ((triple3) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((((triple2 triple5) -> (rule2 % int3))) -> (rule7 % int2)) triple6) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((triple6 ((triple5) -> (rule3 % int3))) -> (rule8 % int2)) triple6) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple3) -> (rule7 % int3)) ((triple2 ((triple3) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((((triple2 triple5) -> (rule2 % int4))) -> (rule7 % int3)) ((triple2 triple4) -> (rule1 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple6 triple7) -> (rule8 % int3)) ((triple2 ((triple3) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple6 ((triple5) -> (rule3 % int4))) -> (rule8 % int3)) ((triple2 triple4) -> (rule1 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((triple2 triple5) -> (rule2 % int4))) -> (rule7 % int3)) ((triple2 ((triple3) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple6 ((triple5) -> (rule3 % int4))) -> (rule8 % int3)) ((triple2 ((triple3) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((triple4 ((triple2 ((((triple2 triple5) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple3) -> (rule7 % int4)) ((triple2 ((((triple2 triple5) -> (rule2 % int3))) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple6 triple7) -> (rule8 % int4)) ((triple2 ((((triple2 triple5) -> (rule2 % int3))) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple2 triple5) -> (rule2 % int4))) -> (rule7 % int3)) ((triple2 ((((triple2 triple5) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple6 ((triple5) -> (rule3 % int5))) -> (rule8 % int4)) ((triple2 ((((triple2 triple5) -> (rule2 % int3))) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is blue.
("Bob" "is" "blue" "+")
triple2
((triple4 triple6) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((triple3) -> (rule7 % int2)) triple6) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple6 triple7) -> (rule8 % int2)) triple6) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple6 ((triple5) -> (rule3 % int3))) -> (rule8 % int2)) triple6) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
triple3
((triple2 triple5) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((((triple4 triple6) -> (rule6 % int2)) triple5) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((((triple6 triple7) -> (rule8 % int3)) triple6) -> (rule6 % int2)) triple5) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((((triple6 ((triple5) -> (rule3 % int4))) -> (rule8 % int3)) triple6) -> (rule6 % int2)) triple5) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
triple4
((triple3) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple6 triple7) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((triple2 triple5) -> (rule2 % int2))) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((triple6 ((triple5) -> (rule3 % int2))) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple6
((triple2 triple4) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple2 ((triple3) -> (rule7 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((triple2 ((((triple2 triple5) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
triple7
((triple5) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple3 triple4) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple3 ((triple3) -> (rule7 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple2 triple5) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple2 triple5) -> (rule2 % int3)) ((triple3) -> (rule7 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((triple3 ((((triple2 triple5) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple4 triple6) -> (rule6 % int3)) triple5) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple2 triple5) -> (rule2 % int3)) ((((triple2 triple5) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple4 triple6) -> (rule6 % int4)) triple5) -> (rule2 % int3)) ((triple3) -> (rule7 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((triple4 triple6) -> (rule6 % int4)) triple5) -> (rule2 % int3)) ((((triple2 triple5) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4