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