Bob is big. Bob is cold. Bob is furry. Bob is kind. Bob is nice. Bob is red. Bob is smart. Charlie is nice. Charlie is red. Charlie is smart. Erin is nice. Erin is red. Fiona is big. Fiona is smart. All big, red things are furry. If Bob is furry then Bob is nice. All big things are red. If something is furry and cold then it is big. If something is furry then it is nice. If Fiona is nice and Fiona is furry then Fiona is big. If something is cold and furry then it is kind. Red, nice things are cold.
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
All big, red things are furry.
((("something" "is" "big" "+") ("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
If Bob is furry then Bob is nice.
((("Bob" "is" "furry" "+")) -> ("Bob" "is" "nice" "+"))
All big things are red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
If something is furry and cold then it is big.
((("something" "is" "furry" "+") ("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
If something is furry then it is nice.
((("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
If Fiona is nice and Fiona is furry then Fiona is big.
((("Fiona" "is" "nice" "+") ("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "big" "+"))
If something is cold and furry then it is kind.
((("something" "is" "cold" "+") ("something" "is" "furry" "+")) -> ("something" "is" "kind" "+"))
Red, nice things are cold.
((("something" "is" "red" "+") ("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
Bob is smart.
True
1
proof
[(triple7)]
("Bob" "is" "smart" "+")
triple7
Bob is not kind.
False
1
inv-proof
[(triple4 OR ((triple2 triple3) -> rule7) OR ((triple2 ((triple1 triple6) -> rule1)) -> rule7) OR ((((triple6 triple5) -> rule8) triple3) -> rule7) OR ((((triple6 triple5) -> rule8) ((triple1 triple6) -> rule1)) -> rule7) OR ((triple2 ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((triple6 ((triple3) -> rule2)) -> rule8) triple3) -> rule7) OR ((((triple6 ((triple3) -> rule5)) -> rule8) triple3) -> rule7) OR ((((((triple1) -> rule3) triple5) -> rule8) triple3) -> rule7) OR ((((triple6 triple5) -> rule8) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((triple6 ((triple3) -> rule2)) -> rule8) ((triple1 triple6) -> rule1)) -> rule7) OR ((((triple6 ((triple3) -> rule5)) -> rule8) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) triple5) -> rule8) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) ((triple3) -> rule2)) -> rule8) triple3) -> rule7) OR ((((((triple1) -> rule3) ((triple3) -> rule5)) -> rule8) triple3) -> rule7) OR ((((triple6 ((triple3) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((triple6 ((triple3) -> rule5)) -> rule8) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) triple5) -> rule8) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) ((triple3) -> rule2)) -> rule8) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) ((triple3) -> rule5)) -> rule8) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) ((triple3) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) ((triple3) -> rule5)) -> rule8) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((triple6 ((((triple1 triple6) -> rule1)) -> rule2)) -> rule8) triple3) -> rule7) OR ((((triple6 ((((triple1 triple6) -> rule1)) -> rule5)) -> rule8) triple3) -> rule7) OR ((((triple6 ((((triple1 triple6) -> rule1)) -> rule2)) -> rule8) ((triple1 triple6) -> rule1)) -> rule7) OR ((((triple6 ((((triple1 triple6) -> rule1)) -> rule5)) -> rule8) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) ((((triple1 triple6) -> rule1)) -> rule2)) -> rule8) triple3) -> rule7) OR ((((((triple1) -> rule3) ((((triple1 triple6) -> rule1)) -> rule5)) -> rule8) triple3) -> rule7) OR ((((triple6 ((((triple1 triple6) -> rule1)) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((triple6 ((((triple1 triple6) -> rule1)) -> rule5)) -> rule8) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) ((((triple1 triple6) -> rule1)) -> rule2)) -> rule8) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) ((((triple1 triple6) -> rule1)) -> rule5)) -> rule8) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) ((((triple1 triple6) -> rule1)) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) ((((triple1 triple6) -> rule1)) -> rule5)) -> rule8) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((triple6 ((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule2)) -> rule8) triple3) -> rule7) OR ((((triple6 ((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule5)) -> rule8) triple3) -> rule7) OR ((((triple6 ((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule2)) -> rule8) ((triple1 triple6) -> rule1)) -> rule7) OR ((((triple6 ((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule5)) -> rule8) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) ((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule2)) -> rule8) triple3) -> rule7) OR ((((((triple1) -> rule3) ((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule5)) -> rule8) triple3) -> rule7) OR ((((triple6 ((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((triple6 ((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule5)) -> rule8) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) ((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule2)) -> rule8) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) ((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule5)) -> rule8) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) ((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) ((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule5)) -> rule8) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule7))]
("Bob" "is" "kind" "-")
triple4
((triple2 triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple2 ((triple1 triple6) -> (rule1 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple6 triple5) -> (rule8 % int2)) triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple6 triple5) -> (rule8 % int3)) ((triple1 triple6) -> (rule1 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((triple2 ((triple1 ((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple6 ((triple3) -> (rule2 % int3))) -> (rule8 % int2)) triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple6 ((triple3) -> (rule5 % int3))) -> (rule8 % int2)) triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((((triple1) -> (rule3 % int3)) triple5) -> (rule8 % int2)) triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple6 triple5) -> (rule8 % int4)) ((triple1 ((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple6 ((triple3) -> (rule2 % int4))) -> (rule8 % int3)) ((triple1 triple6) -> (rule1 % int2))) -> (rule7 % 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" "+")
int4
((((triple6 ((triple3) -> (rule5 % int4))) -> (rule8 % int3)) ((triple1 triple6) -> (rule1 % int2))) -> (rule7 % 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" "+")
int4
((((((triple1) -> (rule3 % int4)) triple5) -> (rule8 % int3)) ((triple1 triple6) -> (rule1 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple1) -> (rule3 % int4)) ((triple3) -> (rule2 % int3))) -> (rule8 % int2)) triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple1) -> (rule3 % int4)) ((triple3) -> (rule5 % int3))) -> (rule8 % int2)) triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple6 ((triple3) -> (rule2 % int5))) -> (rule8 % int4)) ((triple1 ((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple6 ((triple3) -> (rule5 % int5))) -> (rule8 % int4)) ((triple1 ((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((triple1) -> (rule3 % int4)) triple5) -> (rule8 % int3)) ((triple1 ((triple1) -> (rule3 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple1) -> (rule3 % int5)) ((triple3) -> (rule2 % int4))) -> (rule8 % int3)) ((triple1 triple6) -> (rule1 % int2))) -> (rule7 % 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" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple1) -> (rule3 % int5)) ((triple3) -> (rule5 % int4))) -> (rule8 % int3)) ((triple1 triple6) -> (rule1 % int2))) -> (rule7 % 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" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple1) -> (rule3 % int5)) ((triple3) -> (rule2 % int4))) -> (rule8 % int3)) ((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int2))) -> (rule7 % 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" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple1) -> (rule3 % int5)) ((triple3) -> (rule5 % int4))) -> (rule8 % int3)) ((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int2))) -> (rule7 % 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" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((triple6 ((((triple1 triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple6 ((((triple1 triple6) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple6 ((((triple1 triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple1 triple6) -> (rule1 % int4))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple6 ((((triple1 triple6) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) ((triple1 triple6) -> (rule1 % int4))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple1) -> (rule3 % int5)) ((((triple1 triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple1) -> (rule3 % int5)) ((((triple1 triple6) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((triple6 ((((triple1 triple6) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple1 ((triple1) -> (rule3 % int2))) -> (rule1 % int5))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((triple6 ((((triple1 triple6) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule8 % int3)) ((triple1 ((triple1) -> (rule3 % int2))) -> (rule1 % int5))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((triple1) -> (rule3 % int5)) ((((triple1 triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple1 triple6) -> (rule1 % int4))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple1) -> (rule3 % int5)) ((((triple1 triple6) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) ((triple1 triple6) -> (rule1 % int4))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple1) -> (rule3 % int5)) ((((triple1 triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple1) -> (rule3 % int5)) ((((triple1 triple6) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) ((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((triple6 ((((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((triple6 ((((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((triple6 ((((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple1 triple6) -> (rule1 % int4))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((triple6 ((((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) ((triple1 triple6) -> (rule1 % int4))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple1) -> (rule3 % int5)) ((((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple1) -> (rule3 % int5)) ((((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((triple6 ((((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((triple6 ((((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) ((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple1) -> (rule3 % int5)) ((((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple1 triple6) -> (rule1 % int4))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple1) -> (rule3 % int5)) ((((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) ((triple1 triple6) -> (rule1 % int4))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple1) -> (rule3 % int5)) ((((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple1) -> (rule3 % int5)) ((((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) ((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Erin is cold.
True
3
proof
[(((triple12 triple11) -> rule8))]
("Erin" "is" "cold" "+")
((triple12 triple11) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not cold.
False
3
inv-proof
[(((triple12 triple11) -> rule8))]
("Erin" "is" "cold" "-")
((triple12 triple11) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Fiona is furry.
True
4
proof
[(((triple13 ((triple13) -> rule3)) -> rule1))]
("Fiona" "is" "furry" "+")
((triple13 ((triple13) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is not furry.
False
4
inv-proof
[(((triple13 ((triple13) -> rule3)) -> rule1))]
("Fiona" "is" "furry" "-")
((triple13 ((triple13) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
True
5
proof
[(((((triple13 ((triple13) -> rule3)) -> rule1)) -> rule5))]
("Fiona" "is" "nice" "+")
((((triple13 ((triple13) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is not nice.
False
5
inv-proof
[(((((triple13 ((triple13) -> rule3)) -> rule1)) -> rule5))]
("Fiona" "is" "nice" "-")
((((triple13 ((triple13) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is cold.
True
8
proof
[(((((triple13) -> rule3) ((((triple13 ((triple13) -> rule3)) -> rule1)) -> rule5)) -> rule8))]
("Fiona" "is" "cold" "+")
((((triple13) -> (rule3 % int4)) ((((triple13 ((triple13) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is not cold.
False
8
inv-proof
[(((((triple13) -> rule3) ((((triple13 ((triple13) -> rule3)) -> rule1)) -> rule5)) -> rule8))]
("Fiona" "is" "cold" "-")
((((triple13) -> (rule3 % int4)) ((((triple13 ((triple13) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is kind.
True
13
proof
[(((((((triple13) -> rule3) ((((triple13 ((triple13) -> rule3)) -> rule1)) -> rule5)) -> rule8) ((triple13 ((triple13) -> rule3)) -> rule1)) -> rule7))]
("Fiona" "is" "kind" "+")
((((((triple13) -> (rule3 % int5)) ((((triple13 ((triple13) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) ((triple13 ((triple13) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
Fiona is not kind.
False
13
inv-proof
[(((((((triple13) -> rule3) ((((triple13 ((triple13) -> rule3)) -> rule1)) -> rule5)) -> rule8) ((triple13 ((triple13) -> rule3)) -> rule1)) -> rule7))]
("Fiona" "is" "kind" "-")
((((((triple13) -> (rule3 % int5)) ((((triple13 ((triple13) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) ((triple13 ((triple13) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
Erin is not big.
Unknown
inv-rconc
[@2: Erin is big.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Erin" "is" "big" "-")
Charlie is kind.
Unknown
rconc
[@3: Charlie is kind.[CWA. Example of deepest failure = (rule7 <- rule1 <- rule4 <- FAIL)]]
("Charlie" "is" "kind" "+")
Charlie is not furry.
Unknown
inv-rconc
[@2: Charlie is furry.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Charlie" "is" "furry" "-")
Erin is kind.
Unknown
rconc
[@3: Erin is kind.[CWA. Example of deepest failure = (rule7 <- rule1 <- rule4 <- FAIL)]]
("Erin" "is" "kind" "+")
Erin is not furry.
Unknown
inv-rconc
[@2: Erin is furry.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Erin" "is" "furry" "-")
Charlie is big.
Unknown
rconc
[@2: Charlie is big.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Charlie" "is" "big" "+")
@0: Bob is big.[(triple1 OR ((triple3 triple2) -> rule4) OR ((triple3 ((triple6 triple5) -> rule8)) -> rule4) OR ((triple3 ((triple6 ((triple3) -> rule2)) -> rule8)) -> rule4) OR ((triple3 ((triple6 ((triple3) -> rule5)) -> rule8)) -> rule4))] Bob is cold.[(triple2 OR ((triple6 triple5) -> rule8) OR ((triple6 ((triple3) -> rule2)) -> rule8) OR ((triple6 ((triple3) -> rule5)) -> rule8) OR ((((triple1) -> rule3) triple5) -> rule8) OR ((((triple1) -> rule3) ((triple3) -> rule2)) -> rule8) OR ((((triple1) -> rule3) ((triple3) -> rule5)) -> rule8) OR ((triple6 ((((triple1 triple6) -> rule1)) -> rule2)) -> rule8) OR ((triple6 ((((triple1 triple6) -> rule1)) -> rule5)) -> rule8) OR ((((triple1) -> rule3) ((((triple1 triple6) -> rule1)) -> rule2)) -> rule8) OR ((((triple1) -> rule3) ((((triple1 triple6) -> rule1)) -> rule5)) -> rule8) OR ((triple6 ((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule2)) -> rule8) OR ((triple6 ((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule5)) -> rule8) OR ((((triple1) -> rule3) ((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule2)) -> rule8) OR ((((triple1) -> rule3) ((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule5)) -> rule8))] Bob is furry.[(triple3 OR ((triple1 triple6) -> rule1) OR ((triple1 ((triple1) -> rule3)) -> rule1))] Bob is kind.[(triple4 OR ((triple2 triple3) -> rule7) OR ((triple2 ((triple1 triple6) -> rule1)) -> rule7) OR ((((triple6 triple5) -> rule8) triple3) -> rule7) OR ((((triple6 triple5) -> rule8) ((triple1 triple6) -> rule1)) -> rule7) OR ((triple2 ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((triple6 ((triple3) -> rule2)) -> rule8) triple3) -> rule7) OR ((((triple6 ((triple3) -> rule5)) -> rule8) triple3) -> rule7) OR ((((((triple1) -> rule3) triple5) -> rule8) triple3) -> rule7) OR ((((triple6 triple5) -> rule8) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((triple6 ((triple3) -> rule2)) -> rule8) ((triple1 triple6) -> rule1)) -> rule7) OR ((((triple6 ((triple3) -> rule5)) -> rule8) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) triple5) -> rule8) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) ((triple3) -> rule2)) -> rule8) triple3) -> rule7) OR ((((((triple1) -> rule3) ((triple3) -> rule5)) -> rule8) triple3) -> rule7) OR ((((triple6 ((triple3) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((triple6 ((triple3) -> rule5)) -> rule8) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) triple5) -> rule8) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) ((triple3) -> rule2)) -> rule8) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) ((triple3) -> rule5)) -> rule8) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) ((triple3) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) ((triple3) -> rule5)) -> rule8) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((triple6 ((((triple1 triple6) -> rule1)) -> rule2)) -> rule8) triple3) -> rule7) OR ((((triple6 ((((triple1 triple6) -> rule1)) -> rule5)) -> rule8) triple3) -> rule7) OR ((((triple6 ((((triple1 triple6) -> rule1)) -> rule2)) -> rule8) ((triple1 triple6) -> rule1)) -> rule7) OR ((((triple6 ((((triple1 triple6) -> rule1)) -> rule5)) -> rule8) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) ((((triple1 triple6) -> rule1)) -> rule2)) -> rule8) triple3) -> rule7) OR ((((((triple1) -> rule3) ((((triple1 triple6) -> rule1)) -> rule5)) -> rule8) triple3) -> rule7) OR ((((triple6 ((((triple1 triple6) -> rule1)) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((triple6 ((((triple1 triple6) -> rule1)) -> rule5)) -> rule8) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) ((((triple1 triple6) -> rule1)) -> rule2)) -> rule8) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) ((((triple1 triple6) -> rule1)) -> rule5)) -> rule8) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) ((((triple1 triple6) -> rule1)) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) ((((triple1 triple6) -> rule1)) -> rule5)) -> rule8) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((triple6 ((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule2)) -> rule8) triple3) -> rule7) OR ((((triple6 ((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule5)) -> rule8) triple3) -> rule7) OR ((((triple6 ((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule2)) -> rule8) ((triple1 triple6) -> rule1)) -> rule7) OR ((((triple6 ((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule5)) -> rule8) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) ((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule2)) -> rule8) triple3) -> rule7) OR ((((((triple1) -> rule3) ((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule5)) -> rule8) triple3) -> rule7) OR ((((triple6 ((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((triple6 ((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule5)) -> rule8) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) ((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule2)) -> rule8) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) ((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule5)) -> rule8) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) ((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule2)) -> rule8) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule7) OR ((((((triple1) -> rule3) ((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule5)) -> rule8) ((triple1 ((triple1) -> rule3)) -> rule1)) -> rule7))] Bob is nice.[(triple5 OR ((triple3) -> rule2) OR ((triple3) -> rule5) OR ((((triple1 triple6) -> rule1)) -> rule2) OR ((((triple1 triple6) -> rule1)) -> rule5) OR ((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule2) OR ((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule5))] Bob is red.[(triple6 OR ((triple1) -> rule3) OR ((((triple3 triple2) -> rule4)) -> rule3))] Bob is smart.[(triple7)] Charlie is nice.[(triple8)] Charlie is red.[(triple9)] Charlie is smart.[(triple10)] Erin is nice.[(triple11)] Erin is red.[(triple12)] Fiona is big.[(triple13)] Fiona is smart.[(triple14)] @1: Charlie is cold.[(((triple9 triple8) -> rule8))] Erin is cold.[(((triple12 triple11) -> rule8))] Fiona is red.[(((triple13) -> rule3))] @2: Fiona is furry.[(((triple13 ((triple13) -> rule3)) -> rule1))] @3: Fiona is nice.[(((((triple13 ((triple13) -> rule3)) -> rule1)) -> rule5))] @4: Fiona is cold.[(((((triple13) -> rule3) ((((triple13 ((triple13) -> rule3)) -> rule1)) -> rule5)) -> rule8))] @5: Fiona is kind.[(((((((triple13) -> rule3) ((((triple13 ((triple13) -> rule3)) -> rule1)) -> rule5)) -> rule8) ((triple13 ((triple13) -> rule3)) -> rule1)) -> rule7))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple3 triple2) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple3 ((triple6 triple5) -> (rule8 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((triple3 ((triple6 ((triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((triple3 ((triple6 ((triple3) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
triple2
((triple6 triple5) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple6 ((triple3) -> (rule2 % int2))) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((triple6 ((triple3) -> (rule5 % int2))) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple1) -> (rule3 % int2)) triple5) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple1) -> (rule3 % int3)) ((triple3) -> (rule2 % int2))) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple1) -> (rule3 % int3)) ((triple3) -> (rule5 % int2))) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((triple6 ((((triple1 triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((triple6 ((((triple1 triple6) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple1) -> (rule3 % int4)) ((((triple1 triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple1) -> (rule3 % int4)) ((((triple1 triple6) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((triple6 ((((triple1 ((triple1) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((triple6 ((((triple1 ((triple1) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple1) -> (rule3 % int4)) ((((triple1 ((triple1) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple1) -> (rule3 % int4)) ((((triple1 ((triple1) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
triple3
((triple1 triple6) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple1 ((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
triple4
((triple2 triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple2 ((triple1 triple6) -> (rule1 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple6 triple5) -> (rule8 % int2)) triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple6 triple5) -> (rule8 % int3)) ((triple1 triple6) -> (rule1 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((triple2 ((triple1 ((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple6 ((triple3) -> (rule2 % int3))) -> (rule8 % int2)) triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple6 ((triple3) -> (rule5 % int3))) -> (rule8 % int2)) triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((((triple1) -> (rule3 % int3)) triple5) -> (rule8 % int2)) triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple6 triple5) -> (rule8 % int4)) ((triple1 ((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple6 ((triple3) -> (rule2 % int4))) -> (rule8 % int3)) ((triple1 triple6) -> (rule1 % int2))) -> (rule7 % 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" "+")
int4
((((triple6 ((triple3) -> (rule5 % int4))) -> (rule8 % int3)) ((triple1 triple6) -> (rule1 % int2))) -> (rule7 % 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" "+")
int4
((((((triple1) -> (rule3 % int4)) triple5) -> (rule8 % int3)) ((triple1 triple6) -> (rule1 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple1) -> (rule3 % int4)) ((triple3) -> (rule2 % int3))) -> (rule8 % int2)) triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple1) -> (rule3 % int4)) ((triple3) -> (rule5 % int3))) -> (rule8 % int2)) triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple6 ((triple3) -> (rule2 % int5))) -> (rule8 % int4)) ((triple1 ((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple6 ((triple3) -> (rule5 % int5))) -> (rule8 % int4)) ((triple1 ((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((triple1) -> (rule3 % int4)) triple5) -> (rule8 % int3)) ((triple1 ((triple1) -> (rule3 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple1) -> (rule3 % int5)) ((triple3) -> (rule2 % int4))) -> (rule8 % int3)) ((triple1 triple6) -> (rule1 % int2))) -> (rule7 % 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" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple1) -> (rule3 % int5)) ((triple3) -> (rule5 % int4))) -> (rule8 % int3)) ((triple1 triple6) -> (rule1 % int2))) -> (rule7 % 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" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple1) -> (rule3 % int5)) ((triple3) -> (rule2 % int4))) -> (rule8 % int3)) ((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int2))) -> (rule7 % 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" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple1) -> (rule3 % int5)) ((triple3) -> (rule5 % int4))) -> (rule8 % int3)) ((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int2))) -> (rule7 % 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" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((triple6 ((((triple1 triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple6 ((((triple1 triple6) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple6 ((((triple1 triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple1 triple6) -> (rule1 % int4))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple6 ((((triple1 triple6) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) ((triple1 triple6) -> (rule1 % int4))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple1) -> (rule3 % int5)) ((((triple1 triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple1) -> (rule3 % int5)) ((((triple1 triple6) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((triple6 ((((triple1 triple6) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule8 % int3)) ((triple1 ((triple1) -> (rule3 % int2))) -> (rule1 % int5))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((triple6 ((((triple1 triple6) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule8 % int3)) ((triple1 ((triple1) -> (rule3 % int2))) -> (rule1 % int5))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((triple1) -> (rule3 % int5)) ((((triple1 triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple1 triple6) -> (rule1 % int4))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple1) -> (rule3 % int5)) ((((triple1 triple6) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) ((triple1 triple6) -> (rule1 % int4))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple1) -> (rule3 % int5)) ((((triple1 triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple1) -> (rule3 % int5)) ((((triple1 triple6) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) ((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((triple6 ((((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((triple6 ((((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((triple6 ((((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple1 triple6) -> (rule1 % int4))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((triple6 ((((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) ((triple1 triple6) -> (rule1 % int4))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple1) -> (rule3 % int5)) ((((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple1) -> (rule3 % int5)) ((((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((triple6 ((((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((triple6 ((((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) ((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple1) -> (rule3 % int5)) ((((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple1 triple6) -> (rule1 % int4))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple1) -> (rule3 % int5)) ((((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) ((triple1 triple6) -> (rule1 % int4))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple1) -> (rule3 % int5)) ((((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2)) ((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple1) -> (rule3 % int5)) ((((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) ((triple1 ((triple1) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
triple5
((triple3) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple3) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((((triple1 triple6) -> (rule1 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple1 triple6) -> (rule1 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple1 ((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple1 ((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
triple6
((triple1) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((((triple3 triple2) -> (rule4 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
triple7
Charlie is nice.
("Charlie" "is" "nice" "+")
triple8
Charlie is red.
("Charlie" "is" "red" "+")
triple9
Charlie is smart.
("Charlie" "is" "smart" "+")
triple10
Erin is nice.
("Erin" "is" "nice" "+")
triple11
Erin is red.
("Erin" "is" "red" "+")
triple12
Fiona is big.
("Fiona" "is" "big" "+")
triple13
Fiona is smart.
("Fiona" "is" "smart" "+")
triple14
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple9 triple8) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((triple12 triple11) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple13) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple13 ((triple13) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple13 ((triple13) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple13) -> (rule3 % int4)) ((((triple13 ((triple13) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
((((((triple13) -> (rule3 % int5)) ((((triple13 ((triple13) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) ((triple13 ((triple13) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5