Anne is big. Anne is cold. Anne is quiet. Anne is red. Anne is round. Anne is smart. Anne is young. Gary is cold. Gary is quiet. Gary is red. Gary is round. Gary is smart. Gary is young. Harry is big. Harry is cold. All cold, smart things are big. If something is young then it is big. If something is cold then it is round. All red, round things are big. Round things are red. All red, big things are young.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
All cold, smart things are big.
((("something" "is" "cold" "+") ("something" "is" "smart" "+")) -> ("something" "is" "big" "+"))
If something is young then it is big.
((("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
If something is cold then it is round.
((("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
All red, round things are big.
((("something" "is" "red" "+") ("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
Round things are red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
All red, big things are young.
((("something" "is" "red" "+") ("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
Gary is smart.
True
1
proof
[(triple12)]
("Gary" "is" "smart" "+")
triple12
Gary is not smart.
False
1
inv-proof
[(triple12)]
("Gary" "is" "smart" "-")
triple12
Harry is round.
True
2
proof
[(((triple15) -> rule3))]
("Harry" "is" "round" "+")
((triple15) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is not round.
False
2
inv-proof
[(((triple15) -> rule3))]
("Harry" "is" "round" "-")
((triple15) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
True
3
proof
[(((((triple15) -> rule3)) -> rule5))]
("Harry" "is" "red" "+")
((((triple15) -> (rule3 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is not red.
False
3
inv-proof
[(((((triple15) -> rule3)) -> rule5))]
("Harry" "is" "red" "-")
((((triple15) -> (rule3 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
True
5
proof
[(((((((triple15) -> rule3)) -> rule5) triple14) -> rule6) OR ((((((triple15) -> rule3)) -> rule5) ((((((triple15) -> rule3)) -> rule5) ((triple15) -> rule3)) -> rule4)) -> rule6))]
("Harry" "is" "young" "+")
((((((triple15) -> (rule3 % int3))) -> (rule5 % int2)) triple14) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((triple15) -> (rule3 % int4))) -> (rule5 % int3)) ((((((triple15) -> (rule3 % int4))) -> (rule5 % int3)) ((triple15) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is not young.
False
5
inv-proof
[(((((((triple15) -> rule3)) -> rule5) triple14) -> rule6) OR ((((((triple15) -> rule3)) -> rule5) ((((((triple15) -> rule3)) -> rule5) ((triple15) -> rule3)) -> rule4)) -> rule6))]
("Harry" "is" "young" "-")
((((((triple15) -> (rule3 % int3))) -> (rule5 % int2)) triple14) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((triple15) -> (rule3 % int4))) -> (rule5 % int3)) ((((((triple15) -> (rule3 % int4))) -> (rule5 % int3)) ((triple15) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
@0: Anne is big.[(triple1 OR ((triple7) -> rule2) OR ((triple2 triple6) -> rule1) OR ((triple4 triple5) -> rule4) OR ((triple4 ((triple2) -> rule3)) -> rule4) OR ((((triple5) -> rule5) triple5) -> rule4) OR ((((triple5) -> rule5) ((triple2) -> rule3)) -> rule4) OR ((((((triple2) -> rule3)) -> rule5) triple5) -> rule4) OR ((((((triple2) -> rule3)) -> rule5) ((triple2) -> rule3)) -> rule4))] Anne is cold.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4 OR ((triple5) -> rule5) OR ((((triple2) -> rule3)) -> rule5))] Anne is round.[(triple5 OR ((triple2) -> rule3))] Anne is smart.[(triple6)] Anne is young.[(triple7 OR ((triple4 triple1) -> rule6) OR ((triple4 ((triple2 triple6) -> rule1)) -> rule6) OR ((triple4 ((triple4 triple5) -> rule4)) -> rule6) OR ((((triple5) -> rule5) triple1) -> rule6) OR ((((triple5) -> rule5) ((triple2 triple6) -> rule1)) -> rule6) OR ((((triple5) -> rule5) ((triple4 triple5) -> rule4)) -> rule6) OR ((triple4 ((triple4 ((triple2) -> rule3)) -> rule4)) -> rule6) OR ((triple4 ((((triple5) -> rule5) triple5) -> rule4)) -> rule6) OR ((((((triple2) -> rule3)) -> rule5) triple1) -> rule6) OR ((triple4 ((((triple5) -> rule5) ((triple2) -> rule3)) -> rule4)) -> rule6) OR ((((triple5) -> rule5) ((triple4 ((triple2) -> rule3)) -> rule4)) -> rule6) OR ((((triple5) -> rule5) ((((triple5) -> rule5) triple5) -> rule4)) -> rule6) OR ((((((triple2) -> rule3)) -> rule5) ((triple2 triple6) -> rule1)) -> rule6) OR ((((((triple2) -> rule3)) -> rule5) ((triple4 triple5) -> rule4)) -> rule6) OR ((((triple5) -> rule5) ((((triple5) -> rule5) ((triple2) -> rule3)) -> rule4)) -> rule6) OR ((((((triple2) -> rule3)) -> rule5) ((triple4 ((triple2) -> rule3)) -> rule4)) -> rule6) OR ((((((triple2) -> rule3)) -> rule5) ((((triple5) -> rule5) triple5) -> rule4)) -> rule6) OR ((((((triple2) -> rule3)) -> rule5) ((((triple5) -> rule5) ((triple2) -> rule3)) -> rule4)) -> rule6) OR ((triple4 ((((((triple2) -> rule3)) -> rule5) triple5) -> rule4)) -> rule6) OR ((triple4 ((((((triple2) -> rule3)) -> rule5) ((triple2) -> rule3)) -> rule4)) -> rule6) OR ((((triple5) -> rule5) ((((((triple2) -> rule3)) -> rule5) triple5) -> rule4)) -> rule6) OR ((((triple5) -> rule5) ((((((triple2) -> rule3)) -> rule5) ((triple2) -> rule3)) -> rule4)) -> rule6) OR ((((((triple2) -> rule3)) -> rule5) ((((((triple2) -> rule3)) -> rule5) triple5) -> rule4)) -> rule6) OR ((((((triple2) -> rule3)) -> rule5) ((((((triple2) -> rule3)) -> rule5) ((triple2) -> rule3)) -> rule4)) -> rule6))] Gary is cold.[(triple8)] Gary is quiet.[(triple9)] Gary is red.[(triple10 OR ((triple11) -> rule5) OR ((((triple8) -> rule3)) -> rule5))] Gary is round.[(triple11 OR ((triple8) -> rule3))] Gary is smart.[(triple12)] Gary is young.[(triple13 OR ((triple10 ((triple10 triple11) -> rule4)) -> rule6) OR ((triple10 ((triple8 triple12) -> rule1)) -> rule6) OR ((((triple11) -> rule5) ((triple10 triple11) -> rule4)) -> rule6) OR ((((triple11) -> rule5) ((triple8 triple12) -> rule1)) -> rule6) OR ((triple10 ((triple10 ((triple8) -> rule3)) -> rule4)) -> rule6) OR ((triple10 ((((triple11) -> rule5) triple11) -> rule4)) -> rule6) OR ((triple10 ((((triple11) -> rule5) ((triple8) -> rule3)) -> rule4)) -> rule6) OR ((((triple11) -> rule5) ((triple10 ((triple8) -> rule3)) -> rule4)) -> rule6) OR ((((triple11) -> rule5) ((((triple11) -> rule5) triple11) -> rule4)) -> rule6) OR ((((((triple8) -> rule3)) -> rule5) ((triple10 triple11) -> rule4)) -> rule6) OR ((((((triple8) -> rule3)) -> rule5) ((triple8 triple12) -> rule1)) -> rule6) OR ((((triple11) -> rule5) ((((triple11) -> rule5) ((triple8) -> rule3)) -> rule4)) -> rule6) OR ((((((triple8) -> rule3)) -> rule5) ((triple10 ((triple8) -> rule3)) -> rule4)) -> rule6) OR ((((((triple8) -> rule3)) -> rule5) ((((triple11) -> rule5) triple11) -> rule4)) -> rule6) OR ((((((triple8) -> rule3)) -> rule5) ((((triple11) -> rule5) ((triple8) -> rule3)) -> rule4)) -> rule6) OR ((triple10 ((((((triple8) -> rule3)) -> rule5) triple11) -> rule4)) -> rule6) OR ((triple10 ((((((triple8) -> rule3)) -> rule5) ((triple8) -> rule3)) -> rule4)) -> rule6) OR ((((triple11) -> rule5) ((((((triple8) -> rule3)) -> rule5) triple11) -> rule4)) -> rule6) OR ((((triple11) -> rule5) ((((((triple8) -> rule3)) -> rule5) ((triple8) -> rule3)) -> rule4)) -> rule6) OR ((((((triple8) -> rule3)) -> rule5) ((((((triple8) -> rule3)) -> rule5) triple11) -> rule4)) -> rule6) OR ((((((triple8) -> rule3)) -> rule5) ((((((triple8) -> rule3)) -> rule5) ((triple8) -> rule3)) -> rule4)) -> rule6))] Harry is big.[(triple14 OR ((((((triple15) -> rule3)) -> rule5) ((triple15) -> rule3)) -> rule4))] Harry is cold.[(triple15)] @1: Gary is big.[(((triple13) -> rule2) OR ((triple10 triple11) -> rule4) OR ((triple8 triple12) -> rule1) OR ((triple10 ((triple8) -> rule3)) -> rule4) OR ((((triple11) -> rule5) triple11) -> rule4) OR ((((triple11) -> rule5) ((triple8) -> rule3)) -> rule4) OR ((((((triple8) -> rule3)) -> rule5) triple11) -> rule4) OR ((((((triple8) -> rule3)) -> rule5) ((triple8) -> rule3)) -> rule4))] Harry is round.[(((triple15) -> rule3))] @2: Harry is red.[(((((triple15) -> rule3)) -> rule5))] @3: Harry is young.[(((((((triple15) -> rule3)) -> rule5) triple14) -> rule6) OR ((((((triple15) -> rule3)) -> rule5) ((((((triple15) -> rule3)) -> rule5) ((triple15) -> rule3)) -> rule4)) -> rule6))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple7) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((triple2 triple6) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((triple4 triple5) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((triple4 ((triple2) -> (rule3 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple5) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((triple5) -> (rule5 % int3)) ((triple2) -> (rule3 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((((triple2) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple2) -> (rule3 % int3))) -> (rule5 % int2)) ((triple2) -> (rule3 % int3))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
((triple5) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((((triple2) -> (rule3 % int2))) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
triple5
((triple2) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7
((triple4 triple1) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((triple4 ((triple2 triple6) -> (rule1 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((triple4 ((triple4 triple5) -> (rule4 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((triple5) -> (rule5 % int2)) triple1) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((triple5) -> (rule5 % int3)) ((triple2 triple6) -> (rule1 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((triple5) -> (rule5 % int3)) ((triple4 triple5) -> (rule4 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((triple4 ((triple4 ((triple2) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((triple4 ((((triple5) -> (rule5 % int3)) triple5) -> (rule4 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((((triple2) -> (rule3 % int3))) -> (rule5 % int2)) triple1) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((triple4 ((((triple5) -> (rule5 % int4)) ((triple2) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((triple5) -> (rule5 % int4)) ((triple4 ((triple2) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((triple5) -> (rule5 % int3)) ((((triple5) -> (rule5 % int3)) triple5) -> (rule4 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((((triple2) -> (rule3 % int4))) -> (rule5 % int3)) ((triple2 triple6) -> (rule1 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((triple2) -> (rule3 % int4))) -> (rule5 % int3)) ((triple4 triple5) -> (rule4 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple5) -> (rule5 % int4)) ((((triple5) -> (rule5 % int4)) ((triple2) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((((triple2) -> (rule3 % int4))) -> (rule5 % int3)) ((triple4 ((triple2) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((triple2) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple5) -> (rule5 % int3)) triple5) -> (rule4 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((triple2) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple5) -> (rule5 % int3)) ((triple2) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((triple4 ((((((triple2) -> (rule3 % int4))) -> (rule5 % int3)) triple5) -> (rule4 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((triple4 ((((((triple2) -> (rule3 % int4))) -> (rule5 % int3)) ((triple2) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple5) -> (rule5 % int4)) ((((((triple2) -> (rule3 % int3))) -> (rule5 % int4)) triple5) -> (rule4 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((triple5) -> (rule5 % int4)) ((((((triple2) -> (rule3 % int3))) -> (rule5 % int4)) ((triple2) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((((triple2) -> (rule3 % int4))) -> (rule5 % int3)) ((((((triple2) -> (rule3 % int4))) -> (rule5 % int3)) triple5) -> (rule4 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((triple2) -> (rule3 % int4))) -> (rule5 % int3)) ((((((triple2) -> (rule3 % int4))) -> (rule5 % int3)) ((triple2) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple10
((triple11) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((triple8) -> (rule3 % int2))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
triple11
((triple8) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
triple12
Gary is young.
("Gary" "is" "young" "+")
triple13
((triple10 ((triple10 triple11) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((triple10 ((triple8 triple12) -> (rule1 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple11) -> (rule5 % int3)) ((triple10 triple11) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple11) -> (rule5 % int3)) ((triple8 triple12) -> (rule1 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((triple10 ((triple10 ((triple8) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((triple10 ((((triple11) -> (rule5 % int3)) triple11) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((triple10 ((((triple11) -> (rule5 % int4)) ((triple8) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((triple11) -> (rule5 % int4)) ((triple10 ((triple8) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((triple11) -> (rule5 % int3)) ((((triple11) -> (rule5 % int3)) triple11) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((triple8) -> (rule3 % int4))) -> (rule5 % int3)) ((triple10 triple11) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple8) -> (rule3 % int4))) -> (rule5 % int3)) ((triple8 triple12) -> (rule1 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((triple11) -> (rule5 % int4)) ((((triple11) -> (rule5 % int4)) ((triple8) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple8) -> (rule3 % int4))) -> (rule5 % int3)) ((triple10 ((triple8) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple8) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple11) -> (rule5 % int3)) triple11) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple8) -> (rule3 % int4))) -> (rule5 % int3)) ((((triple11) -> (rule5 % int3)) ((triple8) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((triple10 ((((((triple8) -> (rule3 % int4))) -> (rule5 % int3)) triple11) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((triple10 ((((((triple8) -> (rule3 % int4))) -> (rule5 % int3)) ((triple8) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((triple11) -> (rule5 % int4)) ((((((triple8) -> (rule3 % int3))) -> (rule5 % int4)) triple11) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((triple11) -> (rule5 % int4)) ((((((triple8) -> (rule3 % int3))) -> (rule5 % int4)) ((triple8) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple8) -> (rule3 % int4))) -> (rule5 % int3)) ((((((triple8) -> (rule3 % int4))) -> (rule5 % int3)) triple11) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple8) -> (rule3 % int4))) -> (rule5 % int3)) ((((((triple8) -> (rule3 % int4))) -> (rule5 % int3)) ((triple8) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
triple14
((((((triple15) -> (rule3 % int3))) -> (rule5 % int2)) ((triple15) -> (rule3 % int3))) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
triple15
Gary is big.
("Gary" "is" "big" "+")
((triple13) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple10 triple11) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple8 triple12) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple10 ((triple8) -> (rule3 % int2))) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple11) -> (rule5 % int2)) triple11) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple11) -> (rule5 % int3)) ((triple8) -> (rule3 % int2))) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((triple8) -> (rule3 % int3))) -> (rule5 % int2)) triple11) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple8) -> (rule3 % int3))) -> (rule5 % int2)) ((triple8) -> (rule3 % int3))) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
((triple15) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((((triple15) -> (rule3 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((((((triple15) -> (rule3 % int3))) -> (rule5 % int2)) triple14) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((triple15) -> (rule3 % int4))) -> (rule5 % int3)) ((((((triple15) -> (rule3 % int4))) -> (rule5 % int3)) ((triple15) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4