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