Bob is blue. Bob is cold. Charlie is blue. Charlie is rough. Dave is big. Dave is green. Dave is red. Dave is rough. Gary is big. Gary is quiet. Gary is red. Gary is rough. If something is cold then it is rough. Rough, quiet things are red. All big things are green. If something is green and quiet then it is rough. Rough, green things are quiet. All rough things are big. All quiet, cold things are rough. Red, rough things are blue.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If something is cold then it is rough.
((("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
Rough, quiet things are red.
((("something" "is" "rough" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "red" "+"))
All big things are green.
((("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
If something is green and quiet then it is rough.
((("something" "is" "green" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
Rough, green things are quiet.
((("something" "is" "rough" "+") ("something" "is" "green" "+")) -> ("something" "is" "quiet" "+"))
All rough things are big.
((("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
All quiet, cold things are rough.
((("something" "is" "quiet" "+") ("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
Red, rough things are blue.
((("something" "is" "red" "+") ("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
Gary is big.
True
1
proof
[(triple9 OR ((triple12) -> rule6))]
("Gary" "is" "big" "+")
triple9
((triple12) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is not big.
False
1
inv-proof
[(triple9 OR ((triple12) -> rule6))]
("Gary" "is" "big" "-")
triple9
((triple12) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Charlie is big.
True
2
proof
[(((triple4) -> rule6))]
("Charlie" "is" "big" "+")
((triple4) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Dave is not quiet.
False
3
inv-proof
[(((triple8 triple6) -> rule5) OR ((triple8 ((triple5) -> rule3)) -> rule5) OR ((triple8 ((((triple8) -> rule6)) -> rule3)) -> rule5))]
("Dave" "is" "quiet" "-")
((triple8 triple6) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((triple8 ((triple5) -> (rule3 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((triple8 ((((triple8) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Bob is big.
True
3
proof
[(((((triple2) -> rule1)) -> rule6))]
("Bob" "is" "big" "+")
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Charlie is not green.
False
3
inv-proof
[(((((triple4) -> rule6)) -> rule3))]
("Charlie" "is" "green" "-")
((((triple4) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Bob is green.
True
4
proof
[(((((((triple2) -> rule1)) -> rule6)) -> rule3))]
("Bob" "is" "green" "+")
((((((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Charlie is not quiet.
False
5
inv-proof
[(((triple4 ((((triple4) -> rule6)) -> rule3)) -> rule5))]
("Charlie" "is" "quiet" "-")
((triple4 ((((triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Bob is quiet.
True
7
proof
[(((((triple2) -> rule1) ((((((triple2) -> rule1)) -> rule6)) -> rule3)) -> rule5))]
("Bob" "is" "quiet" "+")
((((triple2) -> (rule1 % int4)) ((((((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Charlie is not red.
False
7
inv-proof
[(((triple4 ((triple4 ((((triple4) -> rule6)) -> rule3)) -> rule5)) -> rule2))]
("Charlie" "is" "red" "-")
((triple4 ((triple4 ((((triple4) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Bob is red.
True
10
proof
[(((((triple2) -> rule1) ((((triple2) -> rule1) ((((((triple2) -> rule1)) -> rule6)) -> rule3)) -> rule5)) -> rule2))]
("Bob" "is" "red" "+")
((((triple2) -> (rule1 % int5)) ((((triple2) -> (rule1 % int5)) ((((((triple2) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is not red.
False
10
inv-proof
[(((((triple2) -> rule1) ((((triple2) -> rule1) ((((((triple2) -> rule1)) -> rule6)) -> rule3)) -> rule5)) -> rule2))]
("Bob" "is" "red" "-")
((((triple2) -> (rule1 % int5)) ((((triple2) -> (rule1 % int5)) ((((((triple2) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Bob is blue.[(triple1 OR ((((((triple2) -> rule1) ((((triple2) -> rule1) ((((((triple2) -> rule1)) -> rule6)) -> rule3)) -> rule5)) -> rule2) ((triple2) -> rule1)) -> rule8))] Bob is cold.[(triple2)] Charlie is blue.[(triple3 OR ((((triple4 ((triple4 ((((triple4) -> rule6)) -> rule3)) -> rule5)) -> rule2) triple4) -> rule8))] Charlie is rough.[(triple4)] Dave is big.[(triple5 OR ((triple8) -> rule6))] Dave is green.[(triple6 OR ((triple5) -> rule3) OR ((((triple8) -> rule6)) -> rule3))] Dave is red.[(triple7 OR ((triple8 ((triple8 triple6) -> rule5)) -> rule2) OR ((triple8 ((triple8 ((triple5) -> rule3)) -> rule5)) -> rule2) OR ((triple8 ((triple8 ((((triple8) -> rule6)) -> rule3)) -> rule5)) -> rule2))] Dave is rough.[(triple8)] Gary is big.[(triple9 OR ((triple12) -> rule6))] Gary is quiet.[(triple10 OR ((triple12 ((triple9) -> rule3)) -> rule5) OR ((triple12 ((((triple12) -> rule6)) -> rule3)) -> rule5))] Gary is red.[(triple11 OR ((triple12 triple10) -> rule2) OR ((triple12 ((triple12 ((triple9) -> rule3)) -> rule5)) -> rule2) OR ((((((triple9) -> rule3) triple10) -> rule4) triple10) -> rule2) OR ((((((triple9) -> rule3) triple10) -> rule4) ((triple12 ((triple9) -> rule3)) -> rule5)) -> rule2) OR ((triple12 ((triple12 ((((triple12) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((((triple9) -> rule3) triple10) -> rule4) ((triple12 ((((triple12) -> rule6)) -> rule3)) -> rule5)) -> rule2))] Gary is rough.[(triple12 OR ((((triple9) -> rule3) triple10) -> rule4))] @1: Bob is rough.[(((triple2) -> rule1))] Charlie is big.[(((triple4) -> rule6))] Dave is blue.[(((triple7 triple8) -> rule8) OR ((((triple8 ((triple8 triple6) -> rule5)) -> rule2) triple8) -> rule8) OR ((((triple8 ((triple8 ((triple5) -> rule3)) -> rule5)) -> rule2) triple8) -> rule8) OR ((((triple8 ((triple8 ((((triple8) -> rule6)) -> rule3)) -> rule5)) -> rule2) triple8) -> rule8))] Dave is quiet.[(((triple8 triple6) -> rule5) OR ((triple8 ((triple5) -> rule3)) -> rule5) OR ((triple8 ((((triple8) -> rule6)) -> rule3)) -> rule5))] Gary is blue.[(((triple11 triple12) -> rule8) OR ((((triple12 triple10) -> rule2) triple12) -> rule8) OR ((triple11 ((((triple9) -> rule3) triple10) -> rule4)) -> rule8) OR ((((triple12 triple10) -> rule2) ((((triple9) -> rule3) triple10) -> rule4)) -> rule8) OR ((((triple12 ((triple12 ((triple9) -> rule3)) -> rule5)) -> rule2) triple12) -> rule8) OR ((((((((triple9) -> rule3) triple10) -> rule4) triple10) -> rule2) triple12) -> rule8) OR ((((triple12 ((triple12 ((triple9) -> rule3)) -> rule5)) -> rule2) ((((triple9) -> rule3) triple10) -> rule4)) -> rule8) OR ((((((((triple9) -> rule3) triple10) -> rule4) triple10) -> rule2) ((((triple9) -> rule3) triple10) -> rule4)) -> rule8) OR ((((((((triple9) -> rule3) triple10) -> rule4) ((triple12 ((triple9) -> rule3)) -> rule5)) -> rule2) triple12) -> rule8) OR ((((((((triple9) -> rule3) triple10) -> rule4) ((triple12 ((triple9) -> rule3)) -> rule5)) -> rule2) ((((triple9) -> rule3) triple10) -> rule4)) -> rule8) OR ((((triple12 ((triple12 ((((triple12) -> rule6)) -> rule3)) -> rule5)) -> rule2) triple12) -> rule8) OR ((((triple12 ((triple12 ((((triple12) -> rule6)) -> rule3)) -> rule5)) -> rule2) ((((triple9) -> rule3) triple10) -> rule4)) -> rule8) OR ((((((((triple9) -> rule3) triple10) -> rule4) ((triple12 ((((triple12) -> rule6)) -> rule3)) -> rule5)) -> rule2) triple12) -> rule8) OR ((((((((triple9) -> rule3) triple10) -> rule4) ((triple12 ((((triple12) -> rule6)) -> rule3)) -> rule5)) -> rule2) ((((triple9) -> rule3) triple10) -> rule4)) -> rule8))] Gary is green.[(((triple9) -> rule3) OR ((((triple12) -> rule6)) -> rule3))] @2: Bob is big.[(((((triple2) -> rule1)) -> rule6))] Charlie is green.[(((((triple4) -> rule6)) -> rule3))] @3: Bob is green.[(((((((triple2) -> rule1)) -> rule6)) -> rule3))] Charlie is quiet.[(((triple4 ((((triple4) -> rule6)) -> rule3)) -> rule5))] @4: Bob is quiet.[(((((triple2) -> rule1) ((((((triple2) -> rule1)) -> rule6)) -> rule3)) -> rule5))] Charlie is red.[(((triple4 ((triple4 ((((triple4) -> rule6)) -> rule3)) -> rule5)) -> rule2))] @5: Bob is red.[(((((triple2) -> rule1) ((((triple2) -> rule1) ((((((triple2) -> rule1)) -> rule6)) -> rule3)) -> rule5)) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
((((((triple2) -> (rule1 % int6)) ((((triple2) -> (rule1 % int6)) ((((((triple2) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) ((triple2) -> (rule1 % int6))) -> (rule8 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
((((triple4 ((triple4 ((((triple4) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple4) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Dave is big.
("Dave" "is" "big" "+")
triple5
((triple8) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
triple6
((triple5) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((((triple8) -> (rule6 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
triple7
((triple8 ((triple8 triple6) -> (rule5 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((triple8 ((triple8 ((triple5) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((triple8 ((triple8 ((((triple8) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
triple8
Gary is big.
("Gary" "is" "big" "+")
triple9
((triple12) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
((triple12 ((triple9) -> (rule3 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((triple12 ((((triple12) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
triple11
((triple12 triple10) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((triple12 ((triple12 ((triple9) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple9) -> (rule3 % int3)) triple10) -> (rule4 % int2)) triple10) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple9) -> (rule3 % int4)) triple10) -> (rule4 % int3)) ((triple12 ((triple9) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((triple12 ((triple12 ((((triple12) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple9) -> (rule3 % int5)) triple10) -> (rule4 % int4)) ((triple12 ((((triple12) -> (rule6 % int3))) -> (rule3 % int5))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is rough.
("Gary" "is" "rough" "+")
triple12
((((triple9) -> (rule3 % int2)) triple10) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
((triple2) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((triple4) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple7 triple8) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((((triple8 ((triple8 triple6) -> (rule5 % int3))) -> (rule2 % int2)) triple8) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((triple8 ((triple8 ((triple5) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple8) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((triple8 ((triple8 ((((triple8) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple8) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple8 triple6) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((triple8 ((triple5) -> (rule3 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((triple8 ((((triple8) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
((triple11 triple12) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple12 triple10) -> (rule2 % int2)) triple12) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((triple11 ((((triple9) -> (rule3 % int3)) triple10) -> (rule4 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((triple12 triple10) -> (rule2 % int4)) ((((triple9) -> (rule3 % int3)) triple10) -> (rule4 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((triple12 ((triple12 ((triple9) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple12) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple9) -> (rule3 % int4)) triple10) -> (rule4 % int3)) triple10) -> (rule2 % int2)) triple12) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((triple12 ((triple12 ((triple9) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((((triple9) -> (rule3 % int5)) triple10) -> (rule4 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple9) -> (rule3 % int4)) triple10) -> (rule4 % int3)) triple10) -> (rule2 % int2)) ((((triple9) -> (rule3 % int4)) triple10) -> (rule4 % int3))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple9) -> (rule3 % int5)) triple10) -> (rule4 % int4)) ((triple12 ((triple9) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule2 % int2)) triple12) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple9) -> (rule3 % int5)) triple10) -> (rule4 % int4)) ((triple12 ((triple9) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule2 % int2)) ((((triple9) -> (rule3 % int5)) triple10) -> (rule4 % int4))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((triple12 ((triple12 ((((triple12) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple12) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((triple12 ((triple12 ((((triple12) -> (rule6 % int6))) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule2 % int3)) ((((triple9) -> (rule3 % int5)) triple10) -> (rule4 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is big.
("Gary" "is" "big" "+")
int6
((((((((triple9) -> (rule3 % int6)) triple10) -> (rule4 % int5)) ((triple12 ((((triple12) -> (rule6 % int4))) -> (rule3 % int6))) -> (rule5 % int3))) -> (rule2 % int2)) triple12) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
((((((((triple9) -> (rule3 % int6)) triple10) -> (rule4 % int5)) ((triple12 ((((triple12) -> (rule6 % int4))) -> (rule3 % int6))) -> (rule5 % int3))) -> (rule2 % int2)) ((((triple9) -> (rule3 % int6)) triple10) -> (rule4 % int5))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
Gary is green.
("Gary" "is" "green" "+")
((triple9) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple12) -> (rule6 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((((triple4) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((((((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple4 ((((triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
((((triple2) -> (rule1 % int4)) ((((((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
((triple4 ((triple4 ((((triple4) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
((((triple2) -> (rule1 % int5)) ((((triple2) -> (rule1 % int5)) ((((((triple2) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5