Anne is big. Anne is cold. Anne is furry. Anne is kind. Anne is quiet. Anne is rough. Anne is round. Charlie is big. Charlie is cold. Charlie is furry. Charlie is rough. Charlie is round. Gary is big. Gary is cold. Gary is rough. All rough people are quiet. If someone is round then they are big. If Charlie is quiet then Charlie is furry. If someone is quiet and rough then they are round. Cold, round people are furry. If Gary is rough then Gary is kind. All cold people are rough. Round, big people are quiet.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is rough.
("Gary" "is" "rough" "+")
All rough people are quiet.
((("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
If someone is round then they are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If Charlie is quiet then Charlie is furry.
((("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "furry" "+"))
If someone is quiet and rough then they are round.
((("someone" "is" "quiet" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
Cold, round people are furry.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
If Gary is rough then Gary is kind.
((("Gary" "is" "rough" "+")) -> ("Gary" "is" "kind" "+"))
All cold people are rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
Round, big people are quiet.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
Charlie is rough.
True
1
proof
[(triple11 OR ((triple9) -> rule7))]
("Charlie" "is" "rough" "+")
triple11
((triple9) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Anne is not cold.
False
1
inv-proof
[(triple2)]
("Anne" "is" "cold" "-")
triple2
Gary is kind.
True
2
proof
[(((triple15) -> rule6) OR ((((triple14) -> rule7)) -> rule6))]
("Gary" "is" "kind" "+")
((triple15) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((((triple14) -> (rule7 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is not kind.
False
2
inv-proof
[(((triple15) -> rule6) OR ((((triple14) -> rule7)) -> rule6))]
("Gary" "is" "kind" "-")
((triple15) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((((triple14) -> (rule7 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
True
4
proof
[(((((triple15) -> rule1) triple15) -> rule4) OR ((((triple15) -> rule1) ((triple14) -> rule7)) -> rule4) OR ((((((triple14) -> rule7)) -> rule1) triple15) -> rule4) OR ((((((triple14) -> rule7)) -> rule1) ((triple14) -> rule7)) -> rule4))]
("Gary" "is" "round" "+")
((((triple15) -> (rule1 % int2)) triple15) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple15) -> (rule1 % int3)) ((triple14) -> (rule7 % int2))) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((triple14) -> (rule7 % int3))) -> (rule1 % int2)) triple15) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple14) -> (rule7 % int3))) -> (rule1 % int2)) ((triple14) -> (rule7 % int3))) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is not round.
False
4
inv-proof
[(((((triple15) -> rule1) triple15) -> rule4) OR ((((triple15) -> rule1) ((triple14) -> rule7)) -> rule4) OR ((((((triple14) -> rule7)) -> rule1) triple15) -> rule4) OR ((((((triple14) -> rule7)) -> rule1) ((triple14) -> rule7)) -> rule4))]
("Gary" "is" "round" "-")
((((triple15) -> (rule1 % int2)) triple15) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple15) -> (rule1 % int3)) ((triple14) -> (rule7 % int2))) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((triple14) -> (rule7 % int3))) -> (rule1 % int2)) triple15) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple14) -> (rule7 % int3))) -> (rule1 % int2)) ((triple14) -> (rule7 % int3))) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
@0: Anne is big.[(triple1 OR ((triple7) -> rule2) OR ((((triple5 triple6) -> rule4)) -> rule2) OR ((((triple5 ((triple2) -> rule7)) -> rule4)) -> rule2) OR ((((((triple6) -> rule1) triple6) -> rule4)) -> rule2) OR ((((((triple6) -> rule1) ((triple2) -> rule7)) -> rule4)) -> rule2) OR ((((((((triple2) -> rule7)) -> rule1) triple6) -> rule4)) -> rule2) OR ((((((((triple2) -> rule7)) -> rule1) ((triple2) -> rule7)) -> rule4)) -> rule2))] Anne is cold.[(triple2)] Anne is furry.[(triple3 OR ((triple2 triple7) -> rule5) OR ((triple2 ((triple5 triple6) -> rule4)) -> rule5) OR ((triple2 ((triple5 ((triple2) -> rule7)) -> rule4)) -> rule5) OR ((triple2 ((((triple6) -> rule1) triple6) -> rule4)) -> rule5) OR ((triple2 ((((triple6) -> rule1) ((triple2) -> rule7)) -> rule4)) -> rule5) OR ((triple2 ((((((triple2) -> rule7)) -> rule1) triple6) -> rule4)) -> rule5) OR ((triple2 ((((((triple2) -> rule7)) -> rule1) ((triple2) -> rule7)) -> rule4)) -> rule5))] Anne is kind.[(triple4)] Anne is quiet.[(triple5 OR ((triple6) -> rule1) OR ((triple7 triple1) -> rule8) OR ((((triple2) -> rule7)) -> rule1) OR ((triple7 ((triple7) -> rule2)) -> rule8))] Anne is rough.[(triple6 OR ((triple2) -> rule7))] Anne is round.[(triple7 OR ((triple5 triple6) -> rule4) OR ((triple5 ((triple2) -> rule7)) -> rule4) OR ((((triple6) -> rule1) triple6) -> rule4) OR ((((triple6) -> rule1) ((triple2) -> rule7)) -> rule4) OR ((((((triple2) -> rule7)) -> rule1) triple6) -> rule4) OR ((((((triple2) -> rule7)) -> rule1) ((triple2) -> rule7)) -> rule4))] Charlie is big.[(triple8 OR ((triple12) -> rule2) OR ((((((triple11) -> rule1) triple11) -> rule4)) -> rule2) OR ((((((triple11) -> rule1) ((triple9) -> rule7)) -> rule4)) -> rule2) OR ((((((((triple9) -> rule7)) -> rule1) triple11) -> rule4)) -> rule2) OR ((((((((triple9) -> rule7)) -> rule1) ((triple9) -> rule7)) -> rule4)) -> rule2))] Charlie is cold.[(triple9)] Charlie is furry.[(triple10 OR ((triple9 triple12) -> rule5) OR ((((triple11) -> rule1)) -> rule3) OR ((((triple12 triple8) -> rule8)) -> rule3) OR ((((((triple9) -> rule7)) -> rule1)) -> rule3) OR ((((triple12 ((triple12) -> rule2)) -> rule8)) -> rule3) OR ((triple9 ((((triple11) -> rule1) triple11) -> rule4)) -> rule5) OR ((triple9 ((((triple11) -> rule1) ((triple9) -> rule7)) -> rule4)) -> rule5) OR ((triple9 ((((((triple9) -> rule7)) -> rule1) triple11) -> rule4)) -> rule5) OR ((triple9 ((((((triple9) -> rule7)) -> rule1) ((triple9) -> rule7)) -> rule4)) -> rule5))] Charlie is rough.[(triple11 OR ((triple9) -> rule7))] Charlie is round.[(triple12 OR ((((triple11) -> rule1) triple11) -> rule4) OR ((((triple11) -> rule1) ((triple9) -> rule7)) -> rule4) OR ((((((triple9) -> rule7)) -> rule1) triple11) -> rule4) OR ((((((triple9) -> rule7)) -> rule1) ((triple9) -> rule7)) -> rule4))] Gary is big.[(triple13 OR ((((((triple15) -> rule1) triple15) -> rule4)) -> rule2) OR ((((((triple15) -> rule1) ((triple14) -> rule7)) -> rule4)) -> rule2) OR ((((((((triple14) -> rule7)) -> rule1) triple15) -> rule4)) -> rule2) OR ((((((((triple14) -> rule7)) -> rule1) ((triple14) -> rule7)) -> rule4)) -> rule2))] Gary is cold.[(triple14)] Gary is rough.[(triple15 OR ((triple14) -> rule7))] @1: Charlie is quiet.[(((triple11) -> rule1) OR ((triple12 triple8) -> rule8) OR ((((triple9) -> rule7)) -> rule1) OR ((triple12 ((triple12) -> rule2)) -> rule8))] Gary is kind.[(((triple15) -> rule6) OR ((((triple14) -> rule7)) -> rule6))] Gary is quiet.[(((triple15) -> rule1) OR ((((triple14) -> rule7)) -> rule1))] @2: Gary is round.[(((((triple15) -> rule1) triple15) -> rule4) OR ((((triple15) -> rule1) ((triple14) -> rule7)) -> rule4) OR ((((((triple14) -> rule7)) -> rule1) triple15) -> rule4) OR ((((((triple14) -> rule7)) -> rule1) ((triple14) -> rule7)) -> rule4))] @3: Gary is furry.[(((triple14 ((((triple15) -> rule1) triple15) -> rule4)) -> rule5) OR ((triple14 ((((triple15) -> rule1) ((triple14) -> rule7)) -> rule4)) -> rule5) OR ((triple14 ((((((triple14) -> rule7)) -> rule1) triple15) -> rule4)) -> rule5) OR ((triple14 ((((((triple14) -> rule7)) -> rule1) ((triple14) -> rule7)) -> rule4)) -> rule5))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple7) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((triple5 triple6) -> (rule4 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple5 ((triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((triple6) -> (rule1 % int3)) triple6) -> (rule4 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((((triple6) -> (rule1 % int4)) ((triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((((((triple2) -> (rule7 % int4))) -> (rule1 % int3)) triple6) -> (rule4 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((((triple2) -> (rule7 % int4))) -> (rule1 % int3)) ((triple2) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
((triple2 triple7) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((triple2 ((triple5 triple6) -> (rule4 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((triple2 ((triple5 ((triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((triple2 ((((triple6) -> (rule1 % int3)) triple6) -> (rule4 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((triple2 ((((triple6) -> (rule1 % int4)) ((triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((triple2 ((((((triple2) -> (rule7 % int4))) -> (rule1 % int3)) triple6) -> (rule4 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((triple2 ((((((triple2) -> (rule7 % int4))) -> (rule1 % int3)) ((triple2) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
triple4
Anne is quiet.
("Anne" "is" "quiet" "+")
triple5
((triple6) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((triple7 triple1) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((triple7 ((triple7) -> (rule2 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
triple6
((triple2) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
triple7
((triple5 triple6) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((triple5 ((triple2) -> (rule7 % int2))) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((triple6) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((triple6) -> (rule1 % int3)) ((triple2) -> (rule7 % int2))) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((((triple2) -> (rule7 % int3))) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((triple2) -> (rule7 % int3))) -> (rule1 % int2)) ((triple2) -> (rule7 % int3))) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
triple8
((triple12) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((((triple11) -> (rule1 % int3)) triple11) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple11) -> (rule1 % int4)) ((triple9) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((((triple9) -> (rule7 % int4))) -> (rule1 % int3)) triple11) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((((triple9) -> (rule7 % int4))) -> (rule1 % int3)) ((triple9) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple9
Charlie is furry.
("Charlie" "is" "furry" "+")
triple10
((triple9 triple12) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((((triple11) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple12 triple8) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((((triple9) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple12 ((triple12) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((triple9 ((((triple11) -> (rule1 % int3)) triple11) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((triple9 ((((triple11) -> (rule1 % int4)) ((triple9) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((triple9 ((((((triple9) -> (rule7 % int4))) -> (rule1 % int3)) triple11) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((triple9 ((((((triple9) -> (rule7 % int4))) -> (rule1 % int3)) ((triple9) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple11
((triple9) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
triple12
((((triple11) -> (rule1 % int2)) triple11) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple11) -> (rule1 % int3)) ((triple9) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple9) -> (rule7 % int3))) -> (rule1 % int2)) triple11) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple9) -> (rule7 % int3))) -> (rule1 % int2)) ((triple9) -> (rule7 % int3))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
triple13
((((((triple15) -> (rule1 % int3)) triple15) -> (rule4 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((triple15) -> (rule1 % int4)) ((triple14) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((((triple14) -> (rule7 % int4))) -> (rule1 % int3)) triple15) -> (rule4 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((((triple14) -> (rule7 % int4))) -> (rule1 % int3)) ((triple14) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
triple14
Gary is rough.
("Gary" "is" "rough" "+")
triple15
((triple14) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple11) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((triple12 triple8) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((((triple9) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((triple12 ((triple12) -> (rule2 % int2))) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((triple15) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((((triple14) -> (rule7 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple15) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((((triple14) -> (rule7 % int2))) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((((triple15) -> (rule1 % int2)) triple15) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple15) -> (rule1 % int3)) ((triple14) -> (rule7 % int2))) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((triple14) -> (rule7 % int3))) -> (rule1 % int2)) triple15) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple14) -> (rule7 % int3))) -> (rule1 % int2)) ((triple14) -> (rule7 % int3))) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
((triple14 ((((triple15) -> (rule1 % int3)) triple15) -> (rule4 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((triple14 ((((triple15) -> (rule1 % int4)) ((triple14) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((triple14 ((((((triple14) -> (rule7 % int4))) -> (rule1 % int3)) triple15) -> (rule4 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((triple14 ((((((triple14) -> (rule7 % int4))) -> (rule1 % int3)) ((triple14) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4