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