Bob is blue. Bob is furry. Bob is quiet. Bob is red. Bob is white. Erin is blue. Erin is furry. Erin is quiet. Erin is white. Gary is big. Gary is blue. Gary is furry. Gary is quiet. Gary is red. Gary is round. Gary is white. If something is furry and white then it is blue. Blue things are big. Red, white things are quiet. All red, white things are round. If something is round and big then it is furry. If something is furry and quiet then it is blue. All quiet, white things are round. All red, furry things are quiet.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
If something is furry and white then it is blue.
((("something" "is" "furry" "+") ("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
Blue things are big.
((("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
Red, white things are quiet.
((("something" "is" "red" "+") ("something" "is" "white" "+")) -> ("something" "is" "quiet" "+"))
All red, white things are round.
((("something" "is" "red" "+") ("something" "is" "white" "+")) -> ("something" "is" "round" "+"))
If something is round and big then it is furry.
((("something" "is" "round" "+") ("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
If something is furry and quiet then it is blue.
((("something" "is" "furry" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "blue" "+"))
All quiet, white things are round.
((("something" "is" "quiet" "+") ("something" "is" "white" "+")) -> ("something" "is" "round" "+"))
All red, furry things are quiet.
((("something" "is" "red" "+") ("something" "is" "furry" "+")) -> ("something" "is" "quiet" "+"))
Gary is quiet.
True
1
proof
[(triple13 OR ((triple14 triple12) -> rule8) OR ((triple14 triple16) -> rule3) OR ((triple14 ((triple15 triple10) -> rule5)) -> rule8) OR ((triple14 ((triple15 ((triple11) -> rule2)) -> rule5)) -> rule8) OR ((triple14 ((((triple14 triple16) -> rule4) triple10) -> rule5)) -> rule8) OR ((triple14 ((((triple14 triple16) -> rule4) ((triple11) -> rule2)) -> rule5)) -> rule8))]
("Gary" "is" "quiet" "+")
triple13
((triple14 triple12) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple14 triple16) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple14 ((triple15 triple10) -> (rule5 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((triple14 ((triple15 ((triple11) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((triple14 ((((triple14 triple16) -> (rule4 % int3)) triple10) -> (rule5 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((triple14 ((((triple14 triple16) -> (rule4 % int4)) ((triple11) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is not blue.
False
1
inv-proof
[(triple11 OR ((triple12 triple13) -> rule6) OR ((triple12 triple16) -> rule1) OR ((triple12 ((triple14 triple12) -> rule8)) -> rule6) OR ((triple12 ((triple14 triple16) -> rule3)) -> rule6) OR ((((triple15 triple10) -> rule5) triple13) -> rule6) OR ((((triple15 triple10) -> rule5) triple16) -> rule1) OR ((((triple15 triple10) -> rule5) ((triple14 triple12) -> rule8)) -> rule6) OR ((((triple15 triple10) -> rule5) ((triple14 triple16) -> rule3)) -> rule6) OR ((triple12 ((triple14 ((triple15 triple10) -> rule5)) -> rule8)) -> rule6) OR ((((((triple13 triple16) -> rule7) triple10) -> rule5) triple13) -> rule6) OR ((((((triple13 triple16) -> rule7) triple10) -> rule5) triple16) -> rule1) OR ((((((triple14 triple16) -> rule4) triple10) -> rule5) triple13) -> rule6) OR ((((((triple14 triple16) -> rule4) triple10) -> rule5) triple16) -> rule1) OR ((((triple15 triple10) -> rule5) ((triple14 ((triple15 triple10) -> rule5)) -> rule8)) -> rule6) OR ((((((triple13 triple16) -> rule7) triple10) -> rule5) ((triple14 triple12) -> rule8)) -> rule6) OR ((((((triple13 triple16) -> rule7) triple10) -> rule5) ((triple14 triple16) -> rule3)) -> rule6) OR ((((((triple14 triple16) -> rule4) triple10) -> rule5) ((triple14 triple12) -> rule8)) -> rule6) OR ((((((triple14 triple16) -> rule4) triple10) -> rule5) ((triple14 triple16) -> rule3)) -> rule6) OR ((((((triple13 triple16) -> rule7) triple10) -> rule5) ((triple14 ((triple15 triple10) -> rule5)) -> rule8)) -> rule6) OR ((((((triple14 triple16) -> rule4) triple10) -> rule5) ((triple14 ((triple15 triple10) -> rule5)) -> rule8)) -> rule6) OR ((triple12 ((triple14 ((((triple14 triple16) -> rule4) triple10) -> rule5)) -> rule8)) -> rule6) OR ((((((((triple14 triple16) -> rule3) triple16) -> rule7) triple10) -> rule5) triple13) -> rule6) OR ((((((((triple14 triple16) -> rule3) triple16) -> rule7) triple10) -> rule5) triple16) -> rule1) OR ((((triple15 triple10) -> rule5) ((triple14 ((((triple14 triple16) -> rule4) triple10) -> rule5)) -> rule8)) -> rule6) OR ((((((((triple14 triple16) -> rule3) triple16) -> rule7) triple10) -> rule5) ((triple14 triple12) -> rule8)) -> rule6) OR ((((((((triple14 triple16) -> rule3) triple16) -> rule7) triple10) -> rule5) ((triple14 triple16) -> rule3)) -> rule6) OR ((((((triple13 triple16) -> rule7) triple10) -> rule5) ((triple14 ((((triple14 triple16) -> rule4) triple10) -> rule5)) -> rule8)) -> rule6) OR ((((((triple14 triple16) -> rule4) triple10) -> rule5) ((triple14 ((((triple14 triple16) -> rule4) triple10) -> rule5)) -> rule8)) -> rule6) OR ((((((((triple14 triple16) -> rule3) triple16) -> rule7) triple10) -> rule5) ((triple14 ((triple15 triple10) -> rule5)) -> rule8)) -> rule6) OR ((((((((triple14 triple16) -> rule3) triple16) -> rule7) triple10) -> rule5) ((triple14 ((((triple14 triple16) -> rule4) triple10) -> rule5)) -> rule8)) -> rule6))]
("Gary" "is" "blue" "-")
triple11
((triple12 triple13) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((triple12 triple16) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((triple12 ((triple14 triple12) -> (rule8 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((triple12 ((triple14 triple16) -> (rule3 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple15 triple10) -> (rule5 % int2)) triple13) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple15 triple10) -> (rule5 % int2)) triple16) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple15 triple10) -> (rule5 % int3)) ((triple14 triple12) -> (rule8 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((triple15 triple10) -> (rule5 % int3)) ((triple14 triple16) -> (rule3 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((triple12 ((triple14 ((triple15 triple10) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple13 triple16) -> (rule7 % int3)) triple10) -> (rule5 % int2)) triple13) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple13 triple16) -> (rule7 % int3)) triple10) -> (rule5 % int2)) triple16) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple14 triple16) -> (rule4 % int3)) triple10) -> (rule5 % int2)) triple13) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple14 triple16) -> (rule4 % int3)) triple10) -> (rule5 % int2)) triple16) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple15 triple10) -> (rule5 % int3)) ((triple14 ((triple15 triple10) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple13 triple16) -> (rule7 % int4)) triple10) -> (rule5 % int3)) ((triple14 triple12) -> (rule8 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple13 triple16) -> (rule7 % int4)) triple10) -> (rule5 % int3)) ((triple14 triple16) -> (rule3 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple14 triple16) -> (rule4 % int4)) triple10) -> (rule5 % int3)) ((triple14 triple12) -> (rule8 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple14 triple16) -> (rule4 % int4)) triple10) -> (rule5 % int3)) ((triple14 triple16) -> (rule3 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple13 triple16) -> (rule7 % int4)) triple10) -> (rule5 % int3)) ((triple14 ((triple15 triple10) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple14 triple16) -> (rule4 % int4)) triple10) -> (rule5 % int3)) ((triple14 ((triple15 triple10) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((triple12 ((triple14 ((((triple14 triple16) -> (rule4 % int4)) triple10) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((((triple14 triple16) -> (rule3 % int4)) triple16) -> (rule7 % int3)) triple10) -> (rule5 % int2)) triple13) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((((triple14 triple16) -> (rule3 % int4)) triple16) -> (rule7 % int3)) triple10) -> (rule5 % int2)) triple16) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((triple15 triple10) -> (rule5 % int4)) ((triple14 ((((triple14 triple16) -> (rule4 % int3)) triple10) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((((triple14 triple16) -> (rule3 % int4)) triple16) -> (rule7 % int3)) triple10) -> (rule5 % int2)) ((triple14 triple12) -> (rule8 % int4))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((((triple14 triple16) -> (rule3 % int4)) triple16) -> (rule7 % int3)) triple10) -> (rule5 % int2)) ((triple14 triple16) -> (rule3 % int4))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((triple13 triple16) -> (rule7 % int4)) triple10) -> (rule5 % int3)) ((triple14 ((((triple14 triple16) -> (rule4 % int4)) triple10) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple14 triple16) -> (rule4 % int4)) triple10) -> (rule5 % int3)) ((triple14 ((((triple14 triple16) -> (rule4 % int4)) triple10) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((((triple14 triple16) -> (rule3 % int4)) triple16) -> (rule7 % int3)) triple10) -> (rule5 % int2)) ((triple14 ((triple15 triple10) -> (rule5 % int2))) -> (rule8 % int4))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((((triple14 triple16) -> (rule3 % int4)) triple16) -> (rule7 % int3)) triple10) -> (rule5 % int2)) ((triple14 ((((triple14 triple16) -> (rule4 % int3)) triple10) -> (rule5 % int2))) -> (rule8 % int4))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
@0: Bob is blue.[(triple1 OR ((triple2 triple3) -> rule6) OR ((triple2 triple5) -> rule1) OR ((triple2 ((triple4 triple2) -> rule8)) -> rule6) OR ((triple2 ((triple4 triple5) -> rule3)) -> rule6))] Bob is furry.[(triple2 OR ((((triple3 triple5) -> rule7) ((triple1) -> rule2)) -> rule5) OR ((((triple4 triple5) -> rule4) ((triple1) -> rule2)) -> rule5) OR ((((((triple4 triple5) -> rule3) triple5) -> rule7) ((triple1) -> rule2)) -> rule5))] Bob is quiet.[(triple3 OR ((triple4 triple2) -> rule8) OR ((triple4 triple5) -> rule3) OR ((triple4 ((((triple4 triple5) -> rule4) ((triple1) -> rule2)) -> rule5)) -> rule8))] Bob is red.[(triple4)] Bob is white.[(triple5)] Erin is blue.[(triple6 OR ((triple7 triple8) -> rule6) OR ((triple7 triple9) -> rule1))] Erin is furry.[(triple7 OR ((((triple8 triple9) -> rule7) ((triple6) -> rule2)) -> rule5))] Erin is quiet.[(triple8)] Erin is white.[(triple9)] Gary is big.[(triple10 OR ((triple11) -> rule2) OR ((((triple12 triple13) -> rule6)) -> rule2) OR ((((triple12 triple16) -> rule1)) -> rule2) OR ((((triple12 ((triple14 triple12) -> rule8)) -> rule6)) -> rule2) OR ((((triple12 ((triple14 triple16) -> rule3)) -> rule6)) -> rule2))] Gary is blue.[(triple11 OR ((triple12 triple13) -> rule6) OR ((triple12 triple16) -> rule1) OR ((triple12 ((triple14 triple12) -> rule8)) -> rule6) OR ((triple12 ((triple14 triple16) -> rule3)) -> rule6) OR ((((triple15 triple10) -> rule5) triple13) -> rule6) OR ((((triple15 triple10) -> rule5) triple16) -> rule1) OR ((((triple15 triple10) -> rule5) ((triple14 triple12) -> rule8)) -> rule6) OR ((((triple15 triple10) -> rule5) ((triple14 triple16) -> rule3)) -> rule6) OR ((triple12 ((triple14 ((triple15 triple10) -> rule5)) -> rule8)) -> rule6) OR ((((((triple13 triple16) -> rule7) triple10) -> rule5) triple13) -> rule6) OR ((((((triple13 triple16) -> rule7) triple10) -> rule5) triple16) -> rule1) OR ((((((triple14 triple16) -> rule4) triple10) -> rule5) triple13) -> rule6) OR ((((((triple14 triple16) -> rule4) triple10) -> rule5) triple16) -> rule1) OR ((((triple15 triple10) -> rule5) ((triple14 ((triple15 triple10) -> rule5)) -> rule8)) -> rule6) OR ((((((triple13 triple16) -> rule7) triple10) -> rule5) ((triple14 triple12) -> rule8)) -> rule6) OR ((((((triple13 triple16) -> rule7) triple10) -> rule5) ((triple14 triple16) -> rule3)) -> rule6) OR ((((((triple14 triple16) -> rule4) triple10) -> rule5) ((triple14 triple12) -> rule8)) -> rule6) OR ((((((triple14 triple16) -> rule4) triple10) -> rule5) ((triple14 triple16) -> rule3)) -> rule6) OR ((((((triple13 triple16) -> rule7) triple10) -> rule5) ((triple14 ((triple15 triple10) -> rule5)) -> rule8)) -> rule6) OR ((((((triple14 triple16) -> rule4) triple10) -> rule5) ((triple14 ((triple15 triple10) -> rule5)) -> rule8)) -> rule6) OR ((triple12 ((triple14 ((((triple14 triple16) -> rule4) triple10) -> rule5)) -> rule8)) -> rule6) OR ((((((((triple14 triple16) -> rule3) triple16) -> rule7) triple10) -> rule5) triple13) -> rule6) OR ((((((((triple14 triple16) -> rule3) triple16) -> rule7) triple10) -> rule5) triple16) -> rule1) OR ((((triple15 triple10) -> rule5) ((triple14 ((((triple14 triple16) -> rule4) triple10) -> rule5)) -> rule8)) -> rule6) OR ((((((((triple14 triple16) -> rule3) triple16) -> rule7) triple10) -> rule5) ((triple14 triple12) -> rule8)) -> rule6) OR ((((((((triple14 triple16) -> rule3) triple16) -> rule7) triple10) -> rule5) ((triple14 triple16) -> rule3)) -> rule6) OR ((((((triple13 triple16) -> rule7) triple10) -> rule5) ((triple14 ((((triple14 triple16) -> rule4) triple10) -> rule5)) -> rule8)) -> rule6) OR ((((((triple14 triple16) -> rule4) triple10) -> rule5) ((triple14 ((((triple14 triple16) -> rule4) triple10) -> rule5)) -> rule8)) -> rule6) OR ((((((((triple14 triple16) -> rule3) triple16) -> rule7) triple10) -> rule5) ((triple14 ((triple15 triple10) -> rule5)) -> rule8)) -> rule6) OR ((((((((triple14 triple16) -> rule3) triple16) -> rule7) triple10) -> rule5) ((triple14 ((((triple14 triple16) -> rule4) triple10) -> rule5)) -> rule8)) -> rule6))] Gary is furry.[(triple12 OR ((triple15 triple10) -> rule5) OR ((triple15 ((triple11) -> rule2)) -> rule5) OR ((((triple13 triple16) -> rule7) triple10) -> rule5) OR ((((triple14 triple16) -> rule4) triple10) -> rule5) OR ((((triple13 triple16) -> rule7) ((triple11) -> rule2)) -> rule5) OR ((((triple14 triple16) -> rule4) ((triple11) -> rule2)) -> rule5) OR ((((((triple14 triple16) -> rule3) triple16) -> rule7) triple10) -> rule5) OR ((((((triple14 triple16) -> rule3) triple16) -> rule7) ((triple11) -> rule2)) -> rule5))] Gary is quiet.[(triple13 OR ((triple14 triple12) -> rule8) OR ((triple14 triple16) -> rule3) OR ((triple14 ((triple15 triple10) -> rule5)) -> rule8) OR ((triple14 ((triple15 ((triple11) -> rule2)) -> rule5)) -> rule8) OR ((triple14 ((((triple14 triple16) -> rule4) triple10) -> rule5)) -> rule8) OR ((triple14 ((((triple14 triple16) -> rule4) ((triple11) -> rule2)) -> rule5)) -> rule8))] Gary is red.[(triple14)] Gary is round.[(triple15 OR ((triple13 triple16) -> rule7) OR ((triple14 triple16) -> rule4) OR ((((triple14 triple12) -> rule8) triple16) -> rule7) OR ((((triple14 triple16) -> rule3) triple16) -> rule7))] Gary is white.[(triple16)] @1: Bob is big.[(((triple1) -> rule2) OR ((((triple2 triple3) -> rule6)) -> rule2) OR ((((triple2 triple5) -> rule1)) -> rule2) OR ((((triple2 ((triple4 triple2) -> rule8)) -> rule6)) -> rule2) OR ((((triple2 ((triple4 triple5) -> rule3)) -> rule6)) -> rule2))] Bob is round.[(((triple3 triple5) -> rule7) OR ((triple4 triple5) -> rule4) OR ((((triple4 triple2) -> rule8) triple5) -> rule7) OR ((((triple4 triple5) -> rule3) triple5) -> rule7))] Erin is big.[(((triple6) -> rule2) OR ((((triple7 triple8) -> rule6)) -> rule2) OR ((((triple7 triple9) -> rule1)) -> rule2))] Erin is round.[(((triple8 triple9) -> rule7))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
((triple2 triple3) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((triple2 triple5) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((triple2 ((triple4 triple2) -> (rule8 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((triple2 ((triple4 triple5) -> (rule3 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
triple2
((((triple3 triple5) -> (rule7 % int3)) ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((triple4 triple5) -> (rule4 % int3)) ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((((triple4 triple5) -> (rule3 % int4)) triple5) -> (rule7 % int3)) ((triple1) -> (rule2 % int2))) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
((triple4 triple2) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple4 triple5) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple4 ((((triple4 triple5) -> (rule4 % int4)) ((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is white.
("Bob" "is" "white" "+")
triple5
Erin is blue.
("Erin" "is" "blue" "+")
triple6
((triple7 triple8) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((triple7 triple9) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple7
((((triple8 triple9) -> (rule7 % int3)) ((triple6) -> (rule2 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
Erin is white.
("Erin" "is" "white" "+")
triple9
Gary is big.
("Gary" "is" "big" "+")
triple10
((triple11) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((triple12 triple13) -> (rule6 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((((triple12 triple16) -> (rule1 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((((triple12 ((triple14 triple12) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((triple12 ((triple14 triple16) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
triple11
((triple12 triple13) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((triple12 triple16) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((triple12 ((triple14 triple12) -> (rule8 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((triple12 ((triple14 triple16) -> (rule3 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple15 triple10) -> (rule5 % int2)) triple13) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple15 triple10) -> (rule5 % int2)) triple16) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple15 triple10) -> (rule5 % int3)) ((triple14 triple12) -> (rule8 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((triple15 triple10) -> (rule5 % int3)) ((triple14 triple16) -> (rule3 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((triple12 ((triple14 ((triple15 triple10) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple13 triple16) -> (rule7 % int3)) triple10) -> (rule5 % int2)) triple13) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple13 triple16) -> (rule7 % int3)) triple10) -> (rule5 % int2)) triple16) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple14 triple16) -> (rule4 % int3)) triple10) -> (rule5 % int2)) triple13) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple14 triple16) -> (rule4 % int3)) triple10) -> (rule5 % int2)) triple16) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple15 triple10) -> (rule5 % int3)) ((triple14 ((triple15 triple10) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple13 triple16) -> (rule7 % int4)) triple10) -> (rule5 % int3)) ((triple14 triple12) -> (rule8 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple13 triple16) -> (rule7 % int4)) triple10) -> (rule5 % int3)) ((triple14 triple16) -> (rule3 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple14 triple16) -> (rule4 % int4)) triple10) -> (rule5 % int3)) ((triple14 triple12) -> (rule8 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple14 triple16) -> (rule4 % int4)) triple10) -> (rule5 % int3)) ((triple14 triple16) -> (rule3 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple13 triple16) -> (rule7 % int4)) triple10) -> (rule5 % int3)) ((triple14 ((triple15 triple10) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple14 triple16) -> (rule4 % int4)) triple10) -> (rule5 % int3)) ((triple14 ((triple15 triple10) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((triple12 ((triple14 ((((triple14 triple16) -> (rule4 % int4)) triple10) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((((triple14 triple16) -> (rule3 % int4)) triple16) -> (rule7 % int3)) triple10) -> (rule5 % int2)) triple13) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((((triple14 triple16) -> (rule3 % int4)) triple16) -> (rule7 % int3)) triple10) -> (rule5 % int2)) triple16) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((triple15 triple10) -> (rule5 % int4)) ((triple14 ((((triple14 triple16) -> (rule4 % int3)) triple10) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((((triple14 triple16) -> (rule3 % int4)) triple16) -> (rule7 % int3)) triple10) -> (rule5 % int2)) ((triple14 triple12) -> (rule8 % int4))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((((triple14 triple16) -> (rule3 % int4)) triple16) -> (rule7 % int3)) triple10) -> (rule5 % int2)) ((triple14 triple16) -> (rule3 % int4))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((triple13 triple16) -> (rule7 % int4)) triple10) -> (rule5 % int3)) ((triple14 ((((triple14 triple16) -> (rule4 % int4)) triple10) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple14 triple16) -> (rule4 % int4)) triple10) -> (rule5 % int3)) ((triple14 ((((triple14 triple16) -> (rule4 % int4)) triple10) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((((triple14 triple16) -> (rule3 % int4)) triple16) -> (rule7 % int3)) triple10) -> (rule5 % int2)) ((triple14 ((triple15 triple10) -> (rule5 % int2))) -> (rule8 % int4))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((((triple14 triple16) -> (rule3 % int4)) triple16) -> (rule7 % int3)) triple10) -> (rule5 % int2)) ((triple14 ((((triple14 triple16) -> (rule4 % int3)) triple10) -> (rule5 % int2))) -> (rule8 % int4))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
triple12
((triple15 triple10) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple15 ((triple11) -> (rule2 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple13 triple16) -> (rule7 % int2)) triple10) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple14 triple16) -> (rule4 % int2)) triple10) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple13 triple16) -> (rule7 % int3)) ((triple11) -> (rule2 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple14 triple16) -> (rule4 % int3)) ((triple11) -> (rule2 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple14 triple16) -> (rule3 % int3)) triple16) -> (rule7 % int2)) triple10) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((triple14 triple16) -> (rule3 % int4)) triple16) -> (rule7 % int3)) ((triple11) -> (rule2 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
triple13
((triple14 triple12) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple14 triple16) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple14 ((triple15 triple10) -> (rule5 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((triple14 ((triple15 ((triple11) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((triple14 ((((triple14 triple16) -> (rule4 % int3)) triple10) -> (rule5 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((triple14 ((((triple14 triple16) -> (rule4 % int4)) ((triple11) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
triple14
Gary is round.
("Gary" "is" "round" "+")
triple15
((triple13 triple16) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple14 triple16) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((((triple14 triple12) -> (rule8 % int2)) triple16) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple14 triple16) -> (rule3 % int2)) triple16) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
triple16
Bob is big.
("Bob" "is" "big" "+")
((triple1) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((((triple2 triple3) -> (rule6 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple2 triple5) -> (rule1 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple2 ((triple4 triple2) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple2 ((triple4 triple5) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
((triple3 triple5) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((triple4 triple5) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((((triple4 triple2) -> (rule8 % int2)) triple5) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple4 triple5) -> (rule3 % int2)) triple5) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
((triple6) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((triple7 triple8) -> (rule6 % int2))) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((triple7 triple9) -> (rule1 % int2))) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
((triple8 triple9) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1