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