Anne is big. Anne is blue. Anne is cold. Anne is rough. Dave is rough. Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is rough. Harry is cold. Harry is furry. Harry is white. If Harry is cold then Harry is rough. Rough things are blue. If something is big and furry then it is cold. If Harry is big and Harry is furry then Harry is rough. If Anne is furry and Anne is blue then Anne is rough. If Dave is blue then Dave is furry. If something is furry then it is big. Blue, cold things are quiet. If something is quiet and furry then it is rough.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is white.
("Harry" "is" "white" "+")
If Harry is cold then Harry is rough.
((("Harry" "is" "cold" "+")) -> ("Harry" "is" "rough" "+"))
Rough things are blue.
((("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
If something is big and furry then it is cold.
((("something" "is" "big" "+") ("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
If Harry is big and Harry is furry then Harry is rough.
((("Harry" "is" "big" "+") ("Harry" "is" "furry" "+")) -> ("Harry" "is" "rough" "+"))
If Anne is furry and Anne is blue then Anne is rough.
((("Anne" "is" "furry" "+") ("Anne" "is" "blue" "+")) -> ("Anne" "is" "rough" "+"))
If Dave is blue then Dave is furry.
((("Dave" "is" "blue" "+")) -> ("Dave" "is" "furry" "+"))
If something is furry then it is big.
((("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
Blue, cold things are quiet.
((("something" "is" "blue" "+") ("something" "is" "cold" "+")) -> ("something" "is" "quiet" "+"))
If something is quiet and furry then it is rough.
((("something" "is" "quiet" "+") ("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
Anne is rough.
True
1
proof
[(triple4)]
("Anne" "is" "rough" "+")
triple4
Fiona is not cold.
False
1
inv-proof
[(triple8 OR ((triple6 triple9) -> rule3) OR ((((triple9) -> rule7) triple9) -> rule3))]
("Fiona" "is" "cold" "-")
triple8
((triple6 triple9) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((((triple9) -> (rule7 % int2)) triple9) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Harry is big.
True
2
proof
[(((triple13) -> rule7))]
("Harry" "is" "big" "+")
((triple13) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Anne is not quiet.
False
3
inv-proof
[(((triple2 triple3) -> rule8) OR ((((triple4) -> rule2) triple3) -> rule8))]
("Anne" "is" "quiet" "-")
((triple2 triple3) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((((triple4) -> (rule2 % int2)) triple3) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Dave is furry.
True
3
proof
[(((((triple5) -> rule2)) -> rule6))]
("Dave" "is" "furry" "+")
((((triple5) -> (rule2 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is not furry.
False
3
inv-proof
[(((((triple5) -> rule2)) -> rule6))]
("Dave" "is" "furry" "-")
((((triple5) -> (rule2 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Harry is quiet.
True
5
proof
[(((((((triple12) -> rule1)) -> rule2) triple12) -> rule8) OR ((((((triple12) -> rule1)) -> rule2) ((((triple13) -> rule7) triple13) -> rule3)) -> rule8) OR ((((((((triple13) -> rule7) triple13) -> rule4)) -> rule2) triple12) -> rule8) OR ((((((((triple13) -> rule7) triple13) -> rule4)) -> rule2) ((((triple13) -> rule7) triple13) -> rule3)) -> rule8) OR ((((((((((triple13) -> rule7) triple13) -> rule3)) -> rule1)) -> rule2) triple12) -> rule8) OR ((((((((((triple13) -> rule7) triple13) -> rule3)) -> rule1)) -> rule2) ((((triple13) -> rule7) triple13) -> rule3)) -> rule8))]
("Harry" "is" "quiet" "+")
((((((triple12) -> (rule1 % int3))) -> (rule2 % int2)) triple12) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((((triple12) -> (rule1 % int5))) -> (rule2 % int4)) ((((triple13) -> (rule7 % int3)) triple13) -> (rule3 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((((triple13) -> (rule7 % int4)) triple13) -> (rule4 % int3))) -> (rule2 % int2)) triple12) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((((triple13) -> (rule7 % int5)) triple13) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple13) -> (rule7 % int5)) triple13) -> (rule3 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((((triple13) -> (rule7 % int5)) triple13) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) triple12) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((((triple13) -> (rule7 % int5)) triple13) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) ((((triple13) -> (rule7 % int5)) triple13) -> (rule3 % int4))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is not quiet.
False
5
inv-proof
[(((((((triple12) -> rule1)) -> rule2) triple12) -> rule8) OR ((((((triple12) -> rule1)) -> rule2) ((((triple13) -> rule7) triple13) -> rule3)) -> rule8) OR ((((((((triple13) -> rule7) triple13) -> rule4)) -> rule2) triple12) -> rule8) OR ((((((((triple13) -> rule7) triple13) -> rule4)) -> rule2) ((((triple13) -> rule7) triple13) -> rule3)) -> rule8) OR ((((((((((triple13) -> rule7) triple13) -> rule3)) -> rule1)) -> rule2) triple12) -> rule8) OR ((((((((((triple13) -> rule7) triple13) -> rule3)) -> rule1)) -> rule2) ((((triple13) -> rule7) triple13) -> rule3)) -> rule8))]
("Harry" "is" "quiet" "-")
((((((triple12) -> (rule1 % int3))) -> (rule2 % int2)) triple12) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((((triple12) -> (rule1 % int5))) -> (rule2 % int4)) ((((triple13) -> (rule7 % int3)) triple13) -> (rule3 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((((triple13) -> (rule7 % int4)) triple13) -> (rule4 % int3))) -> (rule2 % int2)) triple12) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((((triple13) -> (rule7 % int5)) triple13) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple13) -> (rule7 % int5)) triple13) -> (rule3 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((((triple13) -> (rule7 % int5)) triple13) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) triple12) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((((triple13) -> (rule7 % int5)) triple13) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) ((((triple13) -> (rule7 % int5)) triple13) -> (rule3 % int4))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Dave is cold.
True
8
proof
[(((((((((triple5) -> rule2)) -> rule6)) -> rule7) ((((triple5) -> rule2)) -> rule6)) -> rule3))]
("Dave" "is" "cold" "+")
((((((((triple5) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule7 % int2)) ((((triple5) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is not cold.
False
8
inv-proof
[(((((((((triple5) -> rule2)) -> rule6)) -> rule7) ((((triple5) -> rule2)) -> rule6)) -> rule3))]
("Dave" "is" "cold" "-")
((((((((triple5) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule7 % int2)) ((((triple5) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is quiet.
True
11
proof
[(((((triple5) -> rule2) ((((((((triple5) -> rule2)) -> rule6)) -> rule7) ((((triple5) -> rule2)) -> rule6)) -> rule3)) -> rule8))]
("Dave" "is" "quiet" "+")
((((triple5) -> (rule2 % int5)) ((((((((triple5) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule7 % int3)) ((((triple5) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Dave is not quiet.
False
11
inv-proof
[(((((triple5) -> rule2) ((((((((triple5) -> rule2)) -> rule6)) -> rule7) ((((triple5) -> rule2)) -> rule6)) -> rule3)) -> rule8))]
("Dave" "is" "quiet" "-")
((((triple5) -> (rule2 % int5)) ((((((((triple5) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule7 % int3)) ((((triple5) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
Dave is not white.
Unknown
inv-random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple4) -> rule2))] Anne is cold.[(triple3)] Anne is rough.[(triple4)] Dave is rough.[(triple5)] Fiona is big.[(triple6 OR ((triple9) -> rule7))] Fiona is blue.[(triple7 OR ((triple11) -> rule2) OR ((((triple10 triple9) -> rule9)) -> rule2))] Fiona is cold.[(triple8 OR ((triple6 triple9) -> rule3) OR ((((triple9) -> rule7) triple9) -> rule3))] Fiona is furry.[(triple9)] Fiona is quiet.[(triple10 OR ((triple7 triple8) -> rule8) OR ((triple7 ((triple6 triple9) -> rule3)) -> rule8) OR ((((triple11) -> rule2) triple8) -> rule8) OR ((((triple11) -> rule2) ((triple6 triple9) -> rule3)) -> rule8) OR ((triple7 ((((triple9) -> rule7) triple9) -> rule3)) -> rule8) OR ((((triple11) -> rule2) ((((triple9) -> rule7) triple9) -> rule3)) -> rule8))] Fiona is rough.[(triple11 OR ((triple10 triple9) -> rule9) OR ((((triple7 triple8) -> rule8) triple9) -> rule9) OR ((((triple7 ((triple6 triple9) -> rule3)) -> rule8) triple9) -> rule9) OR ((((triple7 ((((triple9) -> rule7) triple9) -> rule3)) -> rule8) triple9) -> rule9))] Harry is cold.[(triple12 OR ((((triple13) -> rule7) triple13) -> rule3))] Harry is furry.[(triple13)] Harry is white.[(triple14)] @1: Anne is quiet.[(((triple2 triple3) -> rule8) OR ((((triple4) -> rule2) triple3) -> rule8))] Dave is blue.[(((triple5) -> rule2))] Harry is big.[(((triple13) -> rule7))] Harry is rough.[(((triple12) -> rule1) OR ((((triple13) -> rule7) triple13) -> rule4) OR ((((((triple13) -> rule7) triple13) -> rule3)) -> rule1))] @2: Dave is furry.[(((((triple5) -> rule2)) -> rule6))] Harry is blue.[(((((triple12) -> rule1)) -> rule2) OR ((((((triple13) -> rule7) triple13) -> rule4)) -> rule2) OR ((((((((triple13) -> rule7) triple13) -> rule3)) -> rule1)) -> rule2))] @3: Dave is big.[(((((((triple5) -> rule2)) -> rule6)) -> rule7))] Harry is quiet.[(((((((triple12) -> rule1)) -> rule2) triple12) -> rule8) OR ((((((triple12) -> rule1)) -> rule2) ((((triple13) -> rule7) triple13) -> rule3)) -> rule8) OR ((((((((triple13) -> rule7) triple13) -> rule4)) -> rule2) triple12) -> rule8) OR ((((((((triple13) -> rule7) triple13) -> rule4)) -> rule2) ((((triple13) -> rule7) triple13) -> rule3)) -> rule8) OR ((((((((((triple13) -> rule7) triple13) -> rule3)) -> rule1)) -> rule2) triple12) -> rule8) OR ((((((((((triple13) -> rule7) triple13) -> rule3)) -> rule1)) -> rule2) ((((triple13) -> rule7) triple13) -> rule3)) -> rule8))] @4: Dave is cold.[(((((((((triple5) -> rule2)) -> rule6)) -> rule7) ((((triple5) -> rule2)) -> rule6)) -> rule3))] @5: Dave is quiet.[(((((triple5) -> rule2) ((((((((triple5) -> rule2)) -> rule6)) -> rule7) ((((triple5) -> rule2)) -> rule6)) -> rule3)) -> rule8))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
((triple4) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
((triple9) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
((triple11) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((((triple10 triple9) -> (rule9 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
((triple6 triple9) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((((triple9) -> (rule7 % int2)) triple9) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
((triple7 triple8) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((triple7 ((triple6 triple9) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple11) -> (rule2 % int2)) triple8) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple11) -> (rule2 % int3)) ((triple6 triple9) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((triple7 ((((triple9) -> (rule7 % int3)) triple9) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((triple11) -> (rule2 % int4)) ((((triple9) -> (rule7 % int3)) triple9) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple11
((triple10 triple9) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((triple7 triple8) -> (rule8 % int2)) triple9) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
((((triple7 ((triple6 triple9) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple7 ((((triple9) -> (rule7 % int4)) triple9) -> (rule3 % int3))) -> (rule8 % int2)) triple9) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
triple12
((((triple13) -> (rule7 % int2)) triple13) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
triple13
Harry is white.
("Harry" "is" "white" "+")
triple14
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple2 triple3) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((((triple4) -> (rule2 % int2)) triple3) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((triple5) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple13) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple12) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((((triple13) -> (rule7 % int2)) triple13) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((((triple13) -> (rule7 % int3)) triple13) -> (rule3 % int2))) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
((((triple5) -> (rule2 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((((triple12) -> (rule1 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((((triple13) -> (rule7 % int3)) triple13) -> (rule4 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((((triple13) -> (rule7 % int4)) triple13) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
((((((triple5) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
((((((triple12) -> (rule1 % int3))) -> (rule2 % int2)) triple12) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((((triple12) -> (rule1 % int5))) -> (rule2 % int4)) ((((triple13) -> (rule7 % int3)) triple13) -> (rule3 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((((triple13) -> (rule7 % int4)) triple13) -> (rule4 % int3))) -> (rule2 % int2)) triple12) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((((triple13) -> (rule7 % int5)) triple13) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple13) -> (rule7 % int5)) triple13) -> (rule3 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((((triple13) -> (rule7 % int5)) triple13) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) triple12) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((((triple13) -> (rule7 % int5)) triple13) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) ((((triple13) -> (rule7 % int5)) triple13) -> (rule3 % int4))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
((((((((triple5) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule7 % int2)) ((((triple5) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
((((triple5) -> (rule2 % int5)) ((((((((triple5) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule7 % int3)) ((((triple5) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5