Anne is big. Anne is round. Anne is white. Bob is cold. Bob is quiet. Bob is rough. Bob is white. Charlie is white. Dave is big. Dave is quiet. Dave is round. Dave is white. If Charlie is quiet then Charlie is rough. All cold, white people are rough. All rough people are big. If Dave is round then Dave is quiet. If someone is rough and cold then they are quiet. Rough, quiet people are round. If someone is round and big then they are rough. White people are cold. Round people are red.
Anne is big.
("Anne" "is" "big" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
If Charlie is quiet then Charlie is rough.
((("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "rough" "+"))
All cold, white people are rough.
((("someone" "is" "cold" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "rough" "+"))
All rough people are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If Dave is round then Dave is quiet.
((("Dave" "is" "round" "+")) -> ("Dave" "is" "quiet" "+"))
If someone is rough and cold then they are quiet.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
Rough, quiet people are round.
((("someone" "is" "rough" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "+"))
If someone is round and big then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
White people are cold.
((("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
Round people are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Bob is rough.
True
1
proof
[(triple6 OR ((triple4 triple7) -> rule2) OR ((((triple7) -> rule8) triple7) -> rule2))]
("Bob" "is" "rough" "+")
triple6
((triple4 triple7) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((((triple7) -> (rule8 % int2)) triple7) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Charlie is not white.
False
1
inv-proof
[(triple8)]
("Charlie" "is" "white" "-")
triple8
Anne is rough.
True
3
proof
[(((triple2 triple1) -> rule7) OR ((((triple3) -> rule8) triple3) -> rule2))]
("Anne" "is" "rough" "+")
((triple2 triple1) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple3) -> (rule8 % int2)) triple3) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is not red.
False
2
inv-proof
[(((triple2) -> rule9) OR ((((((((triple3) -> rule8) triple3) -> rule2) ((((((triple3) -> rule8) triple3) -> rule2) ((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule9))]
("Anne" "is" "red" "-")
((triple2) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((((((((triple3) -> (rule8 % int5)) triple3) -> (rule2 % int4)) ((((((triple3) -> (rule8 % int5)) triple3) -> (rule2 % int4)) ((triple3) -> (rule8 % int5))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
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" "+")
int5
Bob is red.
True
4
proof
[(((((triple6 triple5) -> rule6)) -> rule9) OR ((((triple6 ((triple6 triple4) -> rule5)) -> rule6)) -> rule9) OR ((((((triple4 triple7) -> rule2) triple5) -> rule6)) -> rule9) OR ((((((triple4 triple7) -> rule2) ((triple6 triple4) -> rule5)) -> rule6)) -> rule9) OR ((((triple6 ((triple6 ((triple7) -> rule8)) -> rule5)) -> rule6)) -> rule9) OR ((((triple6 ((((triple4 triple7) -> rule2) triple4) -> rule5)) -> rule6)) -> rule9) OR ((((((((triple7) -> rule8) triple7) -> rule2) triple5) -> rule6)) -> rule9) OR ((((triple6 ((((triple4 triple7) -> rule2) ((triple7) -> rule8)) -> rule5)) -> rule6)) -> rule9) OR ((((((triple4 triple7) -> rule2) ((triple6 ((triple7) -> rule8)) -> rule5)) -> rule6)) -> rule9) OR ((((((triple4 triple7) -> rule2) ((((triple4 triple7) -> rule2) triple4) -> rule5)) -> rule6)) -> rule9) OR ((((((((triple7) -> rule8) triple7) -> rule2) ((triple6 triple4) -> rule5)) -> rule6)) -> rule9) OR ((((((triple4 triple7) -> rule2) ((((triple4 triple7) -> rule2) ((triple7) -> rule8)) -> rule5)) -> rule6)) -> rule9) OR ((((((((triple7) -> rule8) triple7) -> rule2) ((triple6 ((triple7) -> rule8)) -> rule5)) -> rule6)) -> rule9) OR ((((((((triple7) -> rule8) triple7) -> rule2) ((((triple4 triple7) -> rule2) triple4) -> rule5)) -> rule6)) -> rule9) OR ((((((((triple7) -> rule8) triple7) -> rule2) ((((triple4 triple7) -> rule2) ((triple7) -> rule8)) -> rule5)) -> rule6)) -> rule9) OR ((((triple6 ((((((triple7) -> rule8) triple7) -> rule2) triple4) -> rule5)) -> rule6)) -> rule9) OR ((((triple6 ((((((triple7) -> rule8) triple7) -> rule2) ((triple7) -> rule8)) -> rule5)) -> rule6)) -> rule9) OR ((((((triple4 triple7) -> rule2) ((((((triple7) -> rule8) triple7) -> rule2) triple4) -> rule5)) -> rule6)) -> rule9) OR ((((((triple4 triple7) -> rule2) ((((((triple7) -> rule8) triple7) -> rule2) ((triple7) -> rule8)) -> rule5)) -> rule6)) -> rule9) OR ((((((((triple7) -> rule8) triple7) -> rule2) ((((((triple7) -> rule8) triple7) -> rule2) triple4) -> rule5)) -> rule6)) -> rule9) OR ((((((((triple7) -> rule8) triple7) -> rule2) ((((((triple7) -> rule8) triple7) -> rule2) ((triple7) -> rule8)) -> rule5)) -> rule6)) -> rule9))]
("Bob" "is" "red" "+")
((((triple6 triple5) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple6 ((triple6 triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple4 triple7) -> (rule2 % int3)) triple5) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((((triple4 triple7) -> (rule2 % int4)) ((triple6 triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple6 ((triple6 ((triple7) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple6 ((((triple4 triple7) -> (rule2 % int4)) triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((((triple7) -> (rule8 % int4)) triple7) -> (rule2 % int3)) triple5) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple6 ((((triple4 triple7) -> (rule2 % int5)) ((triple7) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((triple4 triple7) -> (rule2 % int5)) ((triple6 ((triple7) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((triple4 triple7) -> (rule2 % int4)) ((((triple4 triple7) -> (rule2 % int4)) triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((((triple7) -> (rule8 % int5)) triple7) -> (rule2 % int4)) ((triple6 triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((triple4 triple7) -> (rule2 % int5)) ((((triple4 triple7) -> (rule2 % int5)) ((triple7) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((((triple7) -> (rule8 % int5)) triple7) -> (rule2 % int4)) ((triple6 ((triple7) -> (rule8 % int5))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple7) -> (rule8 % int5)) triple7) -> (rule2 % int4)) ((((triple4 triple7) -> (rule2 % int4)) triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple7) -> (rule8 % int5)) triple7) -> (rule2 % int4)) ((((triple4 triple7) -> (rule2 % int4)) ((triple7) -> (rule8 % int5))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((triple6 ((((((triple7) -> (rule8 % int5)) triple7) -> (rule2 % int4)) triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((triple6 ((((((triple7) -> (rule8 % int5)) triple7) -> (rule2 % int4)) ((triple7) -> (rule8 % int5))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((triple4 triple7) -> (rule2 % int5)) ((((((triple7) -> (rule8 % int4)) triple7) -> (rule2 % int5)) triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((triple4 triple7) -> (rule2 % int5)) ((((((triple7) -> (rule8 % int4)) triple7) -> (rule2 % int5)) ((triple7) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((((triple7) -> (rule8 % int5)) triple7) -> (rule2 % int4)) ((((((triple7) -> (rule8 % int5)) triple7) -> (rule2 % int4)) triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple7) -> (rule8 % int5)) triple7) -> (rule2 % int4)) ((((((triple7) -> (rule8 % int5)) triple7) -> (rule2 % int4)) ((triple7) -> (rule8 % int5))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is not red.
False
4
inv-proof
[(((((triple6 triple5) -> rule6)) -> rule9) OR ((((triple6 ((triple6 triple4) -> rule5)) -> rule6)) -> rule9) OR ((((((triple4 triple7) -> rule2) triple5) -> rule6)) -> rule9) OR ((((((triple4 triple7) -> rule2) ((triple6 triple4) -> rule5)) -> rule6)) -> rule9) OR ((((triple6 ((triple6 ((triple7) -> rule8)) -> rule5)) -> rule6)) -> rule9) OR ((((triple6 ((((triple4 triple7) -> rule2) triple4) -> rule5)) -> rule6)) -> rule9) OR ((((((((triple7) -> rule8) triple7) -> rule2) triple5) -> rule6)) -> rule9) OR ((((triple6 ((((triple4 triple7) -> rule2) ((triple7) -> rule8)) -> rule5)) -> rule6)) -> rule9) OR ((((((triple4 triple7) -> rule2) ((triple6 ((triple7) -> rule8)) -> rule5)) -> rule6)) -> rule9) OR ((((((triple4 triple7) -> rule2) ((((triple4 triple7) -> rule2) triple4) -> rule5)) -> rule6)) -> rule9) OR ((((((((triple7) -> rule8) triple7) -> rule2) ((triple6 triple4) -> rule5)) -> rule6)) -> rule9) OR ((((((triple4 triple7) -> rule2) ((((triple4 triple7) -> rule2) ((triple7) -> rule8)) -> rule5)) -> rule6)) -> rule9) OR ((((((((triple7) -> rule8) triple7) -> rule2) ((triple6 ((triple7) -> rule8)) -> rule5)) -> rule6)) -> rule9) OR ((((((((triple7) -> rule8) triple7) -> rule2) ((((triple4 triple7) -> rule2) triple4) -> rule5)) -> rule6)) -> rule9) OR ((((((((triple7) -> rule8) triple7) -> rule2) ((((triple4 triple7) -> rule2) ((triple7) -> rule8)) -> rule5)) -> rule6)) -> rule9) OR ((((triple6 ((((((triple7) -> rule8) triple7) -> rule2) triple4) -> rule5)) -> rule6)) -> rule9) OR ((((triple6 ((((((triple7) -> rule8) triple7) -> rule2) ((triple7) -> rule8)) -> rule5)) -> rule6)) -> rule9) OR ((((((triple4 triple7) -> rule2) ((((((triple7) -> rule8) triple7) -> rule2) triple4) -> rule5)) -> rule6)) -> rule9) OR ((((((triple4 triple7) -> rule2) ((((((triple7) -> rule8) triple7) -> rule2) ((triple7) -> rule8)) -> rule5)) -> rule6)) -> rule9) OR ((((((((triple7) -> rule8) triple7) -> rule2) ((((((triple7) -> rule8) triple7) -> rule2) triple4) -> rule5)) -> rule6)) -> rule9) OR ((((((((triple7) -> rule8) triple7) -> rule2) ((((((triple7) -> rule8) triple7) -> rule2) ((triple7) -> rule8)) -> rule5)) -> rule6)) -> rule9))]
("Bob" "is" "red" "-")
((((triple6 triple5) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple6 ((triple6 triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple4 triple7) -> (rule2 % int3)) triple5) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((((triple4 triple7) -> (rule2 % int4)) ((triple6 triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple6 ((triple6 ((triple7) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple6 ((((triple4 triple7) -> (rule2 % int4)) triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((((triple7) -> (rule8 % int4)) triple7) -> (rule2 % int3)) triple5) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple6 ((((triple4 triple7) -> (rule2 % int5)) ((triple7) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((triple4 triple7) -> (rule2 % int5)) ((triple6 ((triple7) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((triple4 triple7) -> (rule2 % int4)) ((((triple4 triple7) -> (rule2 % int4)) triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((((triple7) -> (rule8 % int5)) triple7) -> (rule2 % int4)) ((triple6 triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((triple4 triple7) -> (rule2 % int5)) ((((triple4 triple7) -> (rule2 % int5)) ((triple7) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((((triple7) -> (rule8 % int5)) triple7) -> (rule2 % int4)) ((triple6 ((triple7) -> (rule8 % int5))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple7) -> (rule8 % int5)) triple7) -> (rule2 % int4)) ((((triple4 triple7) -> (rule2 % int4)) triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple7) -> (rule8 % int5)) triple7) -> (rule2 % int4)) ((((triple4 triple7) -> (rule2 % int4)) ((triple7) -> (rule8 % int5))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((triple6 ((((((triple7) -> (rule8 % int5)) triple7) -> (rule2 % int4)) triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((triple6 ((((((triple7) -> (rule8 % int5)) triple7) -> (rule2 % int4)) ((triple7) -> (rule8 % int5))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((triple4 triple7) -> (rule2 % int5)) ((((((triple7) -> (rule8 % int4)) triple7) -> (rule2 % int5)) triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((triple4 triple7) -> (rule2 % int5)) ((((((triple7) -> (rule8 % int4)) triple7) -> (rule2 % int5)) ((triple7) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((((triple7) -> (rule8 % int5)) triple7) -> (rule2 % int4)) ((((((triple7) -> (rule8 % int5)) triple7) -> (rule2 % int4)) triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple7) -> (rule8 % int5)) triple7) -> (rule2 % int4)) ((((((triple7) -> (rule8 % int5)) triple7) -> (rule2 % int4)) ((triple7) -> (rule8 % int5))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Charlie is quiet.
True
7
proof
[(((((((triple8) -> rule8) triple8) -> rule2) ((triple8) -> rule8)) -> rule5))]
("Charlie" "is" "quiet" "+")
((((((triple8) -> (rule8 % int3)) triple8) -> (rule2 % int2)) ((triple8) -> (rule8 % int3))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is not big.
False
5
inv-proof
[(((((((triple8) -> rule8) triple8) -> rule2)) -> rule3))]
("Charlie" "is" "big" "-")
((((((triple8) -> (rule8 % int3)) triple8) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is round.
True
12
proof
[(((((((triple8) -> rule8) triple8) -> rule2) ((((((triple8) -> rule8) triple8) -> rule2) ((triple8) -> rule8)) -> rule5)) -> rule6))]
("Charlie" "is" "round" "+")
((((((triple8) -> (rule8 % int4)) triple8) -> (rule2 % int3)) ((((((triple8) -> (rule8 % int4)) triple8) -> (rule2 % int3)) ((triple8) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is not round.
False
12
inv-proof
[(((((((triple8) -> rule8) triple8) -> rule2) ((((((triple8) -> rule8) triple8) -> rule2) ((triple8) -> rule8)) -> rule5)) -> rule6))]
("Charlie" "is" "round" "-")
((((((triple8) -> (rule8 % int4)) triple8) -> (rule2 % int3)) ((((((triple8) -> (rule8 % int4)) triple8) -> (rule2 % int3)) ((triple8) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is red.
True
13
proof
[(((((((((triple8) -> rule8) triple8) -> rule2) ((((((triple8) -> rule8) triple8) -> rule2) ((triple8) -> rule8)) -> rule5)) -> rule6)) -> rule9))]
("Charlie" "is" "red" "+")
((((((((triple8) -> (rule8 % int5)) triple8) -> (rule2 % int4)) ((((((triple8) -> (rule8 % int5)) triple8) -> (rule2 % int4)) ((triple8) -> (rule8 % int5))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
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" "+")
int5
Charlie is not red.
False
13
inv-proof
[(((((((((triple8) -> rule8) triple8) -> rule2) ((((((triple8) -> rule8) triple8) -> rule2) ((triple8) -> rule8)) -> rule5)) -> rule6)) -> rule9))]
("Charlie" "is" "red" "-")
((((((((triple8) -> (rule8 % int5)) triple8) -> (rule2 % int4)) ((((((triple8) -> (rule8 % int5)) triple8) -> (rule2 % int4)) ((triple8) -> (rule8 % int5))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
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" "+")
int5
@0: Anne is big.[(triple1 OR ((((((triple3) -> rule8) triple3) -> rule2)) -> rule3))] Anne is round.[(triple2 OR ((((((triple3) -> rule8) triple3) -> rule2) ((((((triple3) -> rule8) triple3) -> rule2) ((triple3) -> rule8)) -> rule5)) -> rule6))] Anne is white.[(triple3)] Bob is cold.[(triple4 OR ((triple7) -> rule8))] Bob is quiet.[(triple5 OR ((triple6 triple4) -> rule5) OR ((triple6 ((triple7) -> rule8)) -> rule5) OR ((((triple4 triple7) -> rule2) triple4) -> rule5) OR ((((triple4 triple7) -> rule2) ((triple7) -> rule8)) -> rule5) OR ((((((triple7) -> rule8) triple7) -> rule2) triple4) -> rule5) OR ((((((triple7) -> rule8) triple7) -> rule2) ((triple7) -> rule8)) -> rule5))] Bob is rough.[(triple6 OR ((triple4 triple7) -> rule2) OR ((((triple7) -> rule8) triple7) -> rule2))] Bob is white.[(triple7)] Charlie is white.[(triple8)] Dave is big.[(triple9 OR ((((((triple12) -> rule8) triple12) -> rule2)) -> rule3))] Dave is quiet.[(triple10 OR ((triple11) -> rule4) OR ((((triple11 triple9) -> rule7) ((triple12) -> rule8)) -> rule5) OR ((((((triple12) -> rule8) triple12) -> rule2) ((triple12) -> rule8)) -> rule5))] Dave is round.[(triple11 OR ((((((triple12) -> rule8) triple12) -> rule2) triple10) -> rule6) OR ((((((triple12) -> rule8) triple12) -> rule2) ((((((triple12) -> rule8) triple12) -> rule2) ((triple12) -> rule8)) -> rule5)) -> rule6))] Dave is white.[(triple12)] @1: Anne is cold.[(((triple3) -> rule8))] Anne is red.[(((triple2) -> rule9) OR ((((((((triple3) -> rule8) triple3) -> rule2) ((((((triple3) -> rule8) triple3) -> rule2) ((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule9))] Anne is rough.[(((triple2 triple1) -> rule7) OR ((((triple3) -> rule8) triple3) -> rule2))] Bob is big.[(((triple6) -> rule3) OR ((((triple4 triple7) -> rule2)) -> rule3) OR ((((((triple7) -> rule8) triple7) -> rule2)) -> rule3))] Bob is round.[(((triple6 triple5) -> rule6) OR ((triple6 ((triple6 triple4) -> rule5)) -> rule6) OR ((((triple4 triple7) -> rule2) triple5) -> rule6) OR ((((triple4 triple7) -> rule2) ((triple6 triple4) -> rule5)) -> rule6) OR ((triple6 ((triple6 ((triple7) -> rule8)) -> rule5)) -> rule6) OR ((triple6 ((((triple4 triple7) -> rule2) triple4) -> rule5)) -> rule6) OR ((((((triple7) -> rule8) triple7) -> rule2) triple5) -> rule6) OR ((triple6 ((((triple4 triple7) -> rule2) ((triple7) -> rule8)) -> rule5)) -> rule6) OR ((((triple4 triple7) -> rule2) ((triple6 ((triple7) -> rule8)) -> rule5)) -> rule6) OR ((((triple4 triple7) -> rule2) ((((triple4 triple7) -> rule2) triple4) -> rule5)) -> rule6) OR ((((((triple7) -> rule8) triple7) -> rule2) ((triple6 triple4) -> rule5)) -> rule6) OR ((((triple4 triple7) -> rule2) ((((triple4 triple7) -> rule2) ((triple7) -> rule8)) -> rule5)) -> rule6) OR ((((((triple7) -> rule8) triple7) -> rule2) ((triple6 ((triple7) -> rule8)) -> rule5)) -> rule6) OR ((((((triple7) -> rule8) triple7) -> rule2) ((((triple4 triple7) -> rule2) triple4) -> rule5)) -> rule6) OR ((((((triple7) -> rule8) triple7) -> rule2) ((((triple4 triple7) -> rule2) ((triple7) -> rule8)) -> rule5)) -> rule6) OR ((triple6 ((((((triple7) -> rule8) triple7) -> rule2) triple4) -> rule5)) -> rule6) OR ((triple6 ((((((triple7) -> rule8) triple7) -> rule2) ((triple7) -> rule8)) -> rule5)) -> rule6) OR ((((triple4 triple7) -> rule2) ((((((triple7) -> rule8) triple7) -> rule2) triple4) -> rule5)) -> rule6) OR ((((triple4 triple7) -> rule2) ((((((triple7) -> rule8) triple7) -> rule2) ((triple7) -> rule8)) -> rule5)) -> rule6) OR ((((((triple7) -> rule8) triple7) -> rule2) ((((((triple7) -> rule8) triple7) -> rule2) triple4) -> rule5)) -> rule6) OR ((((((triple7) -> rule8) triple7) -> rule2) ((((((triple7) -> rule8) triple7) -> rule2) ((triple7) -> rule8)) -> rule5)) -> rule6))] Charlie is cold.[(((triple8) -> rule8))] Dave is cold.[(((triple12) -> rule8))] Dave is red.[(((triple11) -> rule9) OR ((((((((triple12) -> rule8) triple12) -> rule2) triple10) -> rule6)) -> rule9) OR ((((((((triple12) -> rule8) triple12) -> rule2) ((((((triple12) -> rule8) triple12) -> rule2) ((triple12) -> rule8)) -> rule5)) -> rule6)) -> rule9))] Dave is rough.[(((triple11 triple9) -> rule7) OR ((((triple12) -> rule8) triple12) -> rule2))] @2: Anne is quiet.[(((((triple2 triple1) -> rule7) ((triple3) -> rule8)) -> rule5) OR ((((((triple3) -> rule8) triple3) -> rule2) ((triple3) -> rule8)) -> rule5))] Bob is red.[(((((triple6 triple5) -> rule6)) -> rule9) OR ((((triple6 ((triple6 triple4) -> rule5)) -> rule6)) -> rule9) OR ((((((triple4 triple7) -> rule2) triple5) -> rule6)) -> rule9) OR ((((((triple4 triple7) -> rule2) ((triple6 triple4) -> rule5)) -> rule6)) -> rule9) OR ((((triple6 ((triple6 ((triple7) -> rule8)) -> rule5)) -> rule6)) -> rule9) OR ((((triple6 ((((triple4 triple7) -> rule2) triple4) -> rule5)) -> rule6)) -> rule9) OR ((((((((triple7) -> rule8) triple7) -> rule2) triple5) -> rule6)) -> rule9) OR ((((triple6 ((((triple4 triple7) -> rule2) ((triple7) -> rule8)) -> rule5)) -> rule6)) -> rule9) OR ((((((triple4 triple7) -> rule2) ((triple6 ((triple7) -> rule8)) -> rule5)) -> rule6)) -> rule9) OR ((((((triple4 triple7) -> rule2) ((((triple4 triple7) -> rule2) triple4) -> rule5)) -> rule6)) -> rule9) OR ((((((((triple7) -> rule8) triple7) -> rule2) ((triple6 triple4) -> rule5)) -> rule6)) -> rule9) OR ((((((triple4 triple7) -> rule2) ((((triple4 triple7) -> rule2) ((triple7) -> rule8)) -> rule5)) -> rule6)) -> rule9) OR ((((((((triple7) -> rule8) triple7) -> rule2) ((triple6 ((triple7) -> rule8)) -> rule5)) -> rule6)) -> rule9) OR ((((((((triple7) -> rule8) triple7) -> rule2) ((((triple4 triple7) -> rule2) triple4) -> rule5)) -> rule6)) -> rule9) OR ((((((((triple7) -> rule8) triple7) -> rule2) ((((triple4 triple7) -> rule2) ((triple7) -> rule8)) -> rule5)) -> rule6)) -> rule9) OR ((((triple6 ((((((triple7) -> rule8) triple7) -> rule2) triple4) -> rule5)) -> rule6)) -> rule9) OR ((((triple6 ((((((triple7) -> rule8) triple7) -> rule2) ((triple7) -> rule8)) -> rule5)) -> rule6)) -> rule9) OR ((((((triple4 triple7) -> rule2) ((((((triple7) -> rule8) triple7) -> rule2) triple4) -> rule5)) -> rule6)) -> rule9) OR ((((((triple4 triple7) -> rule2) ((((((triple7) -> rule8) triple7) -> rule2) ((triple7) -> rule8)) -> rule5)) -> rule6)) -> rule9) OR ((((((((triple7) -> rule8) triple7) -> rule2) ((((((triple7) -> rule8) triple7) -> rule2) triple4) -> rule5)) -> rule6)) -> rule9) OR ((((((((triple7) -> rule8) triple7) -> rule2) ((((((triple7) -> rule8) triple7) -> rule2) ((triple7) -> rule8)) -> rule5)) -> rule6)) -> rule9))] Charlie is rough.[(((((triple8) -> rule8) triple8) -> rule2))] @3: Charlie is big.[(((((((triple8) -> rule8) triple8) -> rule2)) -> rule3))] Charlie is quiet.[(((((((triple8) -> rule8) triple8) -> rule2) ((triple8) -> rule8)) -> rule5))] @4: Charlie is round.[(((((((triple8) -> rule8) triple8) -> rule2) ((((((triple8) -> rule8) triple8) -> rule2) ((triple8) -> rule8)) -> rule5)) -> rule6))] @5: Charlie is red.[(((((((((triple8) -> rule8) triple8) -> rule2) ((((((triple8) -> rule8) triple8) -> rule2) ((triple8) -> rule8)) -> rule5)) -> rule6)) -> rule9))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((((((triple3) -> (rule8 % int3)) triple3) -> (rule2 % int2))) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
triple2
((((((triple3) -> (rule8 % int4)) triple3) -> (rule2 % int3)) ((((((triple3) -> (rule8 % int4)) triple3) -> (rule2 % int3)) ((triple3) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple4
((triple7) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
((triple6 triple4) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple6 ((triple7) -> (rule8 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple4 triple7) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple4 triple7) -> (rule2 % int3)) ((triple7) -> (rule8 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((((triple7) -> (rule8 % int3)) triple7) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple7) -> (rule8 % int3)) triple7) -> (rule2 % int2)) ((triple7) -> (rule8 % int3))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
triple6
((triple4 triple7) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((((triple7) -> (rule8 % int2)) triple7) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
triple7
Charlie is white.
("Charlie" "is" "white" "+")
triple8
Dave is big.
("Dave" "is" "big" "+")
triple9
((((((triple12) -> (rule8 % int3)) triple12) -> (rule2 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
triple10
((triple11) -> (rule4 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((((triple11 triple9) -> (rule7 % int3)) ((triple12) -> (rule8 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((((triple12) -> (rule8 % int3)) triple12) -> (rule2 % int2)) ((triple12) -> (rule8 % int3))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
triple11
((((((triple12) -> (rule8 % int3)) triple12) -> (rule2 % int2)) triple10) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((((triple12) -> (rule8 % int4)) triple12) -> (rule2 % int3)) ((((((triple12) -> (rule8 % int4)) triple12) -> (rule2 % int3)) ((triple12) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
triple12
Anne is cold.
("Anne" "is" "cold" "+")
((triple3) -> (rule8 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
((triple2) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((((((((triple3) -> (rule8 % int5)) triple3) -> (rule2 % int4)) ((((((triple3) -> (rule8 % int5)) triple3) -> (rule2 % int4)) ((triple3) -> (rule8 % int5))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
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" "+")
int5
Anne is rough.
("Anne" "is" "rough" "+")
((triple2 triple1) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple3) -> (rule8 % int2)) triple3) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
((triple6) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((((triple4 triple7) -> (rule2 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((((triple7) -> (rule8 % int3)) triple7) -> (rule2 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
((triple6 triple5) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((triple6 ((triple6 triple4) -> (rule5 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple4 triple7) -> (rule2 % int2)) triple5) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple4 triple7) -> (rule2 % int3)) ((triple6 triple4) -> (rule5 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((triple6 ((triple6 ((triple7) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((triple6 ((((triple4 triple7) -> (rule2 % int3)) triple4) -> (rule5 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((((triple7) -> (rule8 % int3)) triple7) -> (rule2 % int2)) triple5) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((triple6 ((((triple4 triple7) -> (rule2 % int4)) ((triple7) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple4 triple7) -> (rule2 % int4)) ((triple6 ((triple7) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple4 triple7) -> (rule2 % int3)) ((((triple4 triple7) -> (rule2 % int3)) triple4) -> (rule5 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((((triple7) -> (rule8 % int4)) triple7) -> (rule2 % int3)) ((triple6 triple4) -> (rule5 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple4 triple7) -> (rule2 % int4)) ((((triple4 triple7) -> (rule2 % int4)) ((triple7) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((triple7) -> (rule8 % int4)) triple7) -> (rule2 % int3)) ((triple6 ((triple7) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple7) -> (rule8 % int4)) triple7) -> (rule2 % int3)) ((((triple4 triple7) -> (rule2 % int3)) triple4) -> (rule5 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple7) -> (rule8 % int4)) triple7) -> (rule2 % int3)) ((((triple4 triple7) -> (rule2 % int3)) ((triple7) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((triple6 ((((((triple7) -> (rule8 % int4)) triple7) -> (rule2 % int3)) triple4) -> (rule5 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((triple6 ((((((triple7) -> (rule8 % int4)) triple7) -> (rule2 % int3)) ((triple7) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple4 triple7) -> (rule2 % int4)) ((((((triple7) -> (rule8 % int3)) triple7) -> (rule2 % int4)) triple4) -> (rule5 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple4 triple7) -> (rule2 % int4)) ((((((triple7) -> (rule8 % int3)) triple7) -> (rule2 % int4)) ((triple7) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((triple7) -> (rule8 % int4)) triple7) -> (rule2 % int3)) ((((((triple7) -> (rule8 % int4)) triple7) -> (rule2 % int3)) triple4) -> (rule5 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple7) -> (rule8 % int4)) triple7) -> (rule2 % int3)) ((((((triple7) -> (rule8 % int4)) triple7) -> (rule2 % int3)) ((triple7) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple8) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple12) -> (rule8 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple11) -> (rule9 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((((((((triple12) -> (rule8 % int4)) triple12) -> (rule2 % int3)) triple10) -> (rule6 % int2))) -> (rule9 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((((((triple12) -> (rule8 % int5)) triple12) -> (rule2 % int4)) ((((((triple12) -> (rule8 % int5)) triple12) -> (rule2 % int4)) ((triple12) -> (rule8 % int5))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is rough.
("Dave" "is" "rough" "+")
((triple11 triple9) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((((triple12) -> (rule8 % int2)) triple12) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
((((triple2 triple1) -> (rule7 % int3)) ((triple3) -> (rule8 % int2))) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((triple3) -> (rule8 % int3)) triple3) -> (rule2 % int2)) ((triple3) -> (rule8 % int3))) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
((((triple6 triple5) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple6 ((triple6 triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple4 triple7) -> (rule2 % int3)) triple5) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((((triple4 triple7) -> (rule2 % int4)) ((triple6 triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple6 ((triple6 ((triple7) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple6 ((((triple4 triple7) -> (rule2 % int4)) triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((((triple7) -> (rule8 % int4)) triple7) -> (rule2 % int3)) triple5) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple6 ((((triple4 triple7) -> (rule2 % int5)) ((triple7) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((triple4 triple7) -> (rule2 % int5)) ((triple6 ((triple7) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((triple4 triple7) -> (rule2 % int4)) ((((triple4 triple7) -> (rule2 % int4)) triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((((triple7) -> (rule8 % int5)) triple7) -> (rule2 % int4)) ((triple6 triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((triple4 triple7) -> (rule2 % int5)) ((((triple4 triple7) -> (rule2 % int5)) ((triple7) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((((triple7) -> (rule8 % int5)) triple7) -> (rule2 % int4)) ((triple6 ((triple7) -> (rule8 % int5))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple7) -> (rule8 % int5)) triple7) -> (rule2 % int4)) ((((triple4 triple7) -> (rule2 % int4)) triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple7) -> (rule8 % int5)) triple7) -> (rule2 % int4)) ((((triple4 triple7) -> (rule2 % int4)) ((triple7) -> (rule8 % int5))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((triple6 ((((((triple7) -> (rule8 % int5)) triple7) -> (rule2 % int4)) triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((triple6 ((((((triple7) -> (rule8 % int5)) triple7) -> (rule2 % int4)) ((triple7) -> (rule8 % int5))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((triple4 triple7) -> (rule2 % int5)) ((((((triple7) -> (rule8 % int4)) triple7) -> (rule2 % int5)) triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((triple4 triple7) -> (rule2 % int5)) ((((((triple7) -> (rule8 % int4)) triple7) -> (rule2 % int5)) ((triple7) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((((triple7) -> (rule8 % int5)) triple7) -> (rule2 % int4)) ((((((triple7) -> (rule8 % int5)) triple7) -> (rule2 % int4)) triple4) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple7) -> (rule8 % int5)) triple7) -> (rule2 % int4)) ((((((triple7) -> (rule8 % int5)) triple7) -> (rule2 % int4)) ((triple7) -> (rule8 % int5))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple8) -> (rule8 % int2)) triple8) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((((((triple8) -> (rule8 % int3)) triple8) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((((((triple8) -> (rule8 % int3)) triple8) -> (rule2 % int2)) ((triple8) -> (rule8 % int3))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
((((((triple8) -> (rule8 % int4)) triple8) -> (rule2 % int3)) ((((((triple8) -> (rule8 % int4)) triple8) -> (rule2 % int3)) ((triple8) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
((((((((triple8) -> (rule8 % int5)) triple8) -> (rule2 % int4)) ((((((triple8) -> (rule8 % int5)) triple8) -> (rule2 % int4)) ((triple8) -> (rule8 % int5))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
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" "+")
int5