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