Bob is quiet. Bob is white. Charlie is furry. Charlie is quiet. Dave is furry. Dave is quiet. Harry is cold. Harry is quiet. Harry is rough. Harry is round. Harry is white. Quiet things are round. All big things are furry. All round things are quiet. If something is cold then it is rough. If Harry is cold and Harry is furry then Harry is big. Big, white things are cold. All rough, round things are big. If something is cold and furry then it is quiet. If something is round and quiet then it is cold.
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
Quiet things are round.
((("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
All big things are furry.
((("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
All round things are quiet.
((("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
If something is cold then it is rough.
((("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
If Harry is cold and Harry is furry then Harry is big.
((("Harry" "is" "cold" "+") ("Harry" "is" "furry" "+")) -> ("Harry" "is" "big" "+"))
Big, white things are cold.
((("something" "is" "big" "+") ("something" "is" "white" "+")) -> ("something" "is" "cold" "+"))
All rough, round things are big.
((("something" "is" "rough" "+") ("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
If something is cold and furry then it is quiet.
((("something" "is" "cold" "+") ("something" "is" "furry" "+")) -> ("something" "is" "quiet" "+"))
If something is round and quiet then it is cold.
((("something" "is" "round" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "cold" "+"))
Harry is rough.
True
1
proof
[(triple9 OR ((triple7) -> rule4) OR ((((triple10 triple8) -> rule9)) -> rule4) OR ((((triple10 ((triple10) -> rule3)) -> rule9)) -> rule4) OR ((((((triple8) -> rule1) triple8) -> rule9)) -> rule4) OR ((((((triple8) -> rule1) ((triple10) -> rule3)) -> rule9)) -> rule4))]
("Harry" "is" "rough" "+")
triple9
((triple7) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((((triple10 triple8) -> (rule9 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple10 ((triple10) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((((triple8) -> (rule1 % int3)) triple8) -> (rule9 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((triple8) -> (rule1 % int4)) ((triple10) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is not cold.
False
1
inv-proof
[(triple7 OR ((triple10 triple8) -> rule9) OR ((triple10 ((triple10) -> rule3)) -> rule9) OR ((((triple8) -> rule1) triple8) -> rule9) OR ((((triple9 triple10) -> rule7) triple11) -> rule6) OR ((((triple8) -> rule1) ((triple10) -> rule3)) -> rule9) OR ((((triple9 ((triple8) -> rule1)) -> rule7) triple11) -> rule6))]
("Harry" "is" "cold" "-")
triple7
((triple10 triple8) -> (rule9 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple10 ((triple10) -> (rule3 % int2))) -> (rule9 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((triple8) -> (rule1 % int2)) triple8) -> (rule9 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple9 triple10) -> (rule7 % int2)) triple11) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple8) -> (rule1 % int3)) ((triple10) -> (rule3 % int2))) -> (rule9 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple9 ((triple8) -> (rule1 % int3))) -> (rule7 % int2)) triple11) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Charlie is round.
True
2
proof
[(((triple4) -> rule1))]
("Charlie" "is" "round" "+")
((triple4) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Dave is not round.
False
2
inv-proof
[(((triple6) -> rule1))]
("Dave" "is" "round" "-")
((triple6) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Harry is furry.
True
4
proof
[(((((triple9 triple10) -> rule7)) -> rule2) OR ((((triple9 ((triple8) -> rule1)) -> rule7)) -> rule2) OR ((((((triple7) -> rule4) triple10) -> rule7)) -> rule2) OR ((((((triple7) -> rule4) ((triple8) -> rule1)) -> rule7)) -> rule2) OR ((((((((triple10 triple8) -> rule9)) -> rule4) triple10) -> rule7)) -> rule2) OR ((((((((triple10 triple8) -> rule9)) -> rule4) ((triple8) -> rule1)) -> rule7)) -> rule2) OR ((((((((triple10 ((triple10) -> rule3)) -> rule9)) -> rule4) triple10) -> rule7)) -> rule2) OR ((((((((((triple8) -> rule1) triple8) -> rule9)) -> rule4) triple10) -> rule7)) -> rule2) OR ((((((((triple10 ((triple10) -> rule3)) -> rule9)) -> rule4) ((triple8) -> rule1)) -> rule7)) -> rule2) OR ((((((((((triple8) -> rule1) triple8) -> rule9)) -> rule4) ((triple8) -> rule1)) -> rule7)) -> rule2) OR ((((((((((triple8) -> rule1) ((triple10) -> rule3)) -> rule9)) -> rule4) triple10) -> rule7)) -> rule2) OR ((((((((((triple8) -> rule1) ((triple10) -> rule3)) -> rule9)) -> rule4) ((triple8) -> rule1)) -> rule7)) -> rule2))]
("Harry" "is" "furry" "+")
((((triple9 triple10) -> (rule7 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple9 ((triple8) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((triple7) -> (rule4 % int3)) triple10) -> (rule7 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((((triple7) -> (rule4 % int4)) ((triple8) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((((triple10 triple8) -> (rule9 % int4))) -> (rule4 % int3)) triple10) -> (rule7 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((((triple10 triple8) -> (rule9 % int5))) -> (rule4 % int4)) ((triple8) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((((triple10 ((triple10) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule4 % int3)) triple10) -> (rule7 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((((((((triple8) -> (rule1 % int5)) triple8) -> (rule9 % int4))) -> (rule4 % int3)) triple10) -> (rule7 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((triple10 ((triple10) -> (rule3 % int6))) -> (rule9 % int5))) -> (rule4 % int4)) ((triple8) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is quiet.
("Harry" "is" "quiet" "+")
int6
((((((((((triple8) -> (rule1 % int5)) triple8) -> (rule9 % int4))) -> (rule4 % int3)) ((triple8) -> (rule1 % int5))) -> (rule7 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((((triple8) -> (rule1 % int6)) ((triple10) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule4 % int3)) triple10) -> (rule7 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Harry is round.
("Harry" "is" "round" "+")
int6
((((((((((triple8) -> (rule1 % int6)) ((triple10) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule4 % int3)) ((triple8) -> (rule1 % int6))) -> (rule7 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Harry is round.
("Harry" "is" "round" "+")
int6
Charlie is not cold.
False
4
inv-proof
[(((((triple4) -> rule1) triple4) -> rule9))]
("Charlie" "is" "cold" "-")
((((triple4) -> (rule1 % int2)) triple4) -> (rule9 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Bob is rough.
True
5
proof
[(((((((triple1) -> rule1) triple1) -> rule9)) -> rule4))]
("Bob" "is" "rough" "+")
((((((triple1) -> (rule1 % int3)) triple1) -> (rule9 % int2))) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is not rough.
False
5
inv-proof
[(((((((triple1) -> rule1) triple1) -> rule9)) -> rule4))]
("Bob" "is" "rough" "-")
((((((triple1) -> (rule1 % int3)) triple1) -> (rule9 % int2))) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Charlie is big.
True
8
proof
[(((((((((triple4) -> rule1) triple4) -> rule9)) -> rule4) ((triple4) -> rule1)) -> rule7))]
("Charlie" "is" "big" "+")
((((((((triple4) -> (rule1 % int4)) triple4) -> (rule9 % int3))) -> (rule4 % int2)) ((triple4) -> (rule1 % int4))) -> (rule7 % 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.
("Charlie" "is" "round" "+")
int4
Bob is not big.
False
8
inv-proof
[(((((((((triple1) -> rule1) triple1) -> rule9)) -> rule4) ((triple1) -> rule1)) -> rule7))]
("Bob" "is" "big" "-")
((((((((triple1) -> (rule1 % int4)) triple1) -> (rule9 % int3))) -> (rule4 % int2)) ((triple1) -> (rule1 % int4))) -> (rule7 % 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" "+")
int4
Bob is furry.
True
9
proof
[(((((((((((triple1) -> rule1) triple1) -> rule9)) -> rule4) ((triple1) -> rule1)) -> rule7)) -> rule2))]
("Bob" "is" "furry" "+")
((((((((((triple1) -> (rule1 % int5)) triple1) -> (rule9 % int4))) -> (rule4 % int3)) ((triple1) -> (rule1 % int5))) -> (rule7 % int2))) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Bob is not furry.
False
9
inv-proof
[(((((((((((triple1) -> rule1) triple1) -> rule9)) -> rule4) ((triple1) -> rule1)) -> rule7)) -> rule2))]
("Bob" "is" "furry" "-")
((((((((((triple1) -> (rule1 % int5)) triple1) -> (rule9 % int4))) -> (rule4 % int3)) ((triple1) -> (rule1 % int5))) -> (rule7 % int2))) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Dave is not white.
Unknown
inv-random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
@0: Bob is quiet.[(triple1)] Bob is white.[(triple2)] Charlie is furry.[(triple3 OR ((((((((((triple4) -> rule1) triple4) -> rule9)) -> rule4) ((triple4) -> rule1)) -> rule7)) -> rule2))] Charlie is quiet.[(triple4)] Dave is furry.[(triple5 OR ((((((((((triple6) -> rule1) triple6) -> rule9)) -> rule4) ((triple6) -> rule1)) -> rule7)) -> rule2))] Dave is quiet.[(triple6)] Harry is cold.[(triple7 OR ((triple10 triple8) -> rule9) OR ((triple10 ((triple10) -> rule3)) -> rule9) OR ((((triple8) -> rule1) triple8) -> rule9) OR ((((triple9 triple10) -> rule7) triple11) -> rule6) OR ((((triple8) -> rule1) ((triple10) -> rule3)) -> rule9) OR ((((triple9 ((triple8) -> rule1)) -> rule7) triple11) -> rule6))] Harry is quiet.[(triple8 OR ((triple10) -> rule3) OR ((triple7 ((((triple9 triple10) -> rule7)) -> rule2)) -> rule8) OR ((((((triple9 triple10) -> rule7) triple11) -> rule6) ((((triple9 triple10) -> rule7)) -> rule2)) -> rule8) OR ((triple7 ((((((triple7) -> rule4) triple10) -> rule7)) -> rule2)) -> rule8) OR ((((((triple9 triple10) -> rule7) triple11) -> rule6) ((((((triple7) -> rule4) triple10) -> rule7)) -> rule2)) -> rule8))] Harry is rough.[(triple9 OR ((triple7) -> rule4) OR ((((triple10 triple8) -> rule9)) -> rule4) OR ((((triple10 ((triple10) -> rule3)) -> rule9)) -> rule4) OR ((((((triple8) -> rule1) triple8) -> rule9)) -> rule4) OR ((((((triple8) -> rule1) ((triple10) -> rule3)) -> rule9)) -> rule4))] Harry is round.[(triple10 OR ((triple8) -> rule1))] Harry is white.[(triple11)] @1: Bob is round.[(((triple1) -> rule1))] Charlie is round.[(((triple4) -> rule1))] Dave is round.[(((triple6) -> rule1))] Harry is big.[(((triple9 triple10) -> rule7) OR ((triple9 ((triple8) -> rule1)) -> rule7) OR ((((triple7) -> rule4) triple10) -> rule7) OR ((((triple7) -> rule4) ((triple8) -> rule1)) -> rule7) OR ((((((triple10 triple8) -> rule9)) -> rule4) triple10) -> rule7) OR ((((((triple10 triple8) -> rule9)) -> rule4) ((triple8) -> rule1)) -> rule7) OR ((((((triple10 ((triple10) -> rule3)) -> rule9)) -> rule4) triple10) -> rule7) OR ((((((((triple8) -> rule1) triple8) -> rule9)) -> rule4) triple10) -> rule7) OR ((((((triple10 ((triple10) -> rule3)) -> rule9)) -> rule4) ((triple8) -> rule1)) -> rule7) OR ((((((((triple8) -> rule1) triple8) -> rule9)) -> rule4) ((triple8) -> rule1)) -> rule7) OR ((((((((triple8) -> rule1) ((triple10) -> rule3)) -> rule9)) -> rule4) triple10) -> rule7) OR ((((((((triple8) -> rule1) ((triple10) -> rule3)) -> rule9)) -> rule4) ((triple8) -> rule1)) -> rule7))] @2: Bob is cold.[(((((triple1) -> rule1) triple1) -> rule9))] Charlie is cold.[(((((triple4) -> rule1) triple4) -> rule9))] Dave is cold.[(((((triple6) -> rule1) triple6) -> rule9))] Harry is furry.[(((((triple9 triple10) -> rule7)) -> rule2) OR ((((triple9 ((triple8) -> rule1)) -> rule7)) -> rule2) OR ((((((triple7) -> rule4) triple10) -> rule7)) -> rule2) OR ((((((triple7) -> rule4) ((triple8) -> rule1)) -> rule7)) -> rule2) OR ((((((((triple10 triple8) -> rule9)) -> rule4) triple10) -> rule7)) -> rule2) OR ((((((((triple10 triple8) -> rule9)) -> rule4) ((triple8) -> rule1)) -> rule7)) -> rule2) OR ((((((((triple10 ((triple10) -> rule3)) -> rule9)) -> rule4) triple10) -> rule7)) -> rule2) OR ((((((((((triple8) -> rule1) triple8) -> rule9)) -> rule4) triple10) -> rule7)) -> rule2) OR ((((((((triple10 ((triple10) -> rule3)) -> rule9)) -> rule4) ((triple8) -> rule1)) -> rule7)) -> rule2) OR ((((((((((triple8) -> rule1) triple8) -> rule9)) -> rule4) ((triple8) -> rule1)) -> rule7)) -> rule2) OR ((((((((((triple8) -> rule1) ((triple10) -> rule3)) -> rule9)) -> rule4) triple10) -> rule7)) -> rule2) OR ((((((((((triple8) -> rule1) ((triple10) -> rule3)) -> rule9)) -> rule4) ((triple8) -> rule1)) -> rule7)) -> rule2))] @3: Bob is rough.[(((((((triple1) -> rule1) triple1) -> rule9)) -> rule4))] Charlie is rough.[(((((((triple4) -> rule1) triple4) -> rule9)) -> rule4))] Dave is rough.[(((((((triple6) -> rule1) triple6) -> rule9)) -> rule4))] @4: Bob is big.[(((((((((triple1) -> rule1) triple1) -> rule9)) -> rule4) ((triple1) -> rule1)) -> rule7))] Charlie is big.[(((((((((triple4) -> rule1) triple4) -> rule9)) -> rule4) ((triple4) -> rule1)) -> rule7))] Dave is big.[(((((((((triple6) -> rule1) triple6) -> rule9)) -> rule4) ((triple6) -> rule1)) -> rule7))] @5: Bob is furry.[(((((((((((triple1) -> rule1) triple1) -> rule9)) -> rule4) ((triple1) -> rule1)) -> rule7)) -> rule2))]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Charlie is furry.
("Charlie" "is" "furry" "+")
triple3
((((((((((triple4) -> (rule1 % int5)) triple4) -> (rule9 % int4))) -> (rule4 % int3)) ((triple4) -> (rule1 % int5))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
Dave is furry.
("Dave" "is" "furry" "+")
triple5
((((((((((triple6) -> (rule1 % int5)) triple6) -> (rule9 % int4))) -> (rule4 % int3)) ((triple6) -> (rule1 % int5))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is quiet.
("Dave" "is" "quiet" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple7
((triple10 triple8) -> (rule9 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple10 ((triple10) -> (rule3 % int2))) -> (rule9 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((triple8) -> (rule1 % int2)) triple8) -> (rule9 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple9 triple10) -> (rule7 % int2)) triple11) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple8) -> (rule1 % int3)) ((triple10) -> (rule3 % int2))) -> (rule9 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple9 ((triple8) -> (rule1 % int3))) -> (rule7 % int2)) triple11) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
triple8
((triple10) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((triple7 ((((triple9 triple10) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple9 triple10) -> (rule7 % int4)) triple11) -> (rule6 % int3)) ((((triple9 triple10) -> (rule7 % int4))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((triple7 ((((((triple7) -> (rule4 % int4)) triple10) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((triple9 triple10) -> (rule7 % int5)) triple11) -> (rule6 % int4)) ((((((triple7) -> (rule4 % int3)) triple10) -> (rule7 % int5))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is rough.
("Harry" "is" "rough" "+")
triple9
((triple7) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((((triple10 triple8) -> (rule9 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple10 ((triple10) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((((triple8) -> (rule1 % int3)) triple8) -> (rule9 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((triple8) -> (rule1 % int4)) ((triple10) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
triple10
((triple8) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
triple11
Bob is round.
("Bob" "is" "round" "+")
((triple1) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((triple4) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple6) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple9 triple10) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((triple9 ((triple8) -> (rule1 % int2))) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple7) -> (rule4 % int2)) triple10) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((triple7) -> (rule4 % int3)) ((triple8) -> (rule1 % int2))) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((((triple10 triple8) -> (rule9 % int3))) -> (rule4 % int2)) triple10) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((((triple10 triple8) -> (rule9 % int4))) -> (rule4 % int3)) ((triple8) -> (rule1 % int2))) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((triple10 ((triple10) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) triple10) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((((((triple8) -> (rule1 % int4)) triple8) -> (rule9 % int3))) -> (rule4 % int2)) triple10) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((triple10 ((triple10) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule4 % int3)) ((triple8) -> (rule1 % int2))) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((((((triple8) -> (rule1 % int4)) triple8) -> (rule9 % int3))) -> (rule4 % int2)) ((triple8) -> (rule1 % int4))) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((((triple8) -> (rule1 % int5)) ((triple10) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) triple10) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((triple8) -> (rule1 % int5)) ((triple10) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((triple8) -> (rule1 % int5))) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
((((triple1) -> (rule1 % int2)) triple1) -> (rule9 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple4) -> (rule1 % int2)) triple4) -> (rule9 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((((triple6) -> (rule1 % int2)) triple6) -> (rule9 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
((((triple9 triple10) -> (rule7 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple9 ((triple8) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((triple7) -> (rule4 % int3)) triple10) -> (rule7 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((((triple7) -> (rule4 % int4)) ((triple8) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((((triple10 triple8) -> (rule9 % int4))) -> (rule4 % int3)) triple10) -> (rule7 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((((triple10 triple8) -> (rule9 % int5))) -> (rule4 % int4)) ((triple8) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((((((triple10 ((triple10) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule4 % int3)) triple10) -> (rule7 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((((((((triple8) -> (rule1 % int5)) triple8) -> (rule9 % int4))) -> (rule4 % int3)) triple10) -> (rule7 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((triple10 ((triple10) -> (rule3 % int6))) -> (rule9 % int5))) -> (rule4 % int4)) ((triple8) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is quiet.
("Harry" "is" "quiet" "+")
int6
((((((((((triple8) -> (rule1 % int5)) triple8) -> (rule9 % int4))) -> (rule4 % int3)) ((triple8) -> (rule1 % int5))) -> (rule7 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((((triple8) -> (rule1 % int6)) ((triple10) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule4 % int3)) triple10) -> (rule7 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Harry is round.
("Harry" "is" "round" "+")
int6
((((((((((triple8) -> (rule1 % int6)) ((triple10) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule4 % int3)) ((triple8) -> (rule1 % int6))) -> (rule7 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Harry is round.
("Harry" "is" "round" "+")
int6
Bob is rough.
("Bob" "is" "rough" "+")
((((((triple1) -> (rule1 % int3)) triple1) -> (rule9 % int2))) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
((((((triple4) -> (rule1 % int3)) triple4) -> (rule9 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
((((((triple6) -> (rule1 % int3)) triple6) -> (rule9 % int2))) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
((((((((triple1) -> (rule1 % int4)) triple1) -> (rule9 % int3))) -> (rule4 % int2)) ((triple1) -> (rule1 % int4))) -> (rule7 % 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" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
((((((((triple4) -> (rule1 % int4)) triple4) -> (rule9 % int3))) -> (rule4 % int2)) ((triple4) -> (rule1 % int4))) -> (rule7 % 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.
("Charlie" "is" "round" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
((((((((triple6) -> (rule1 % int4)) triple6) -> (rule9 % int3))) -> (rule4 % int2)) ((triple6) -> (rule1 % int4))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
((((((((((triple1) -> (rule1 % int5)) triple1) -> (rule9 % int4))) -> (rule4 % int3)) ((triple1) -> (rule1 % int5))) -> (rule7 % int2))) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5