Charlie is big. Charlie is blue. Charlie is cold. Charlie is green. Charlie is nice. Charlie is round. Charlie is white. Erin is big. Erin is blue. Erin is cold. Erin is green. Erin is nice. Erin is round. Erin is white. White, blue people are round. Round, green people are cold. All cold, blue people are round. All big, blue people are round. All round, blue people are big. Nice people are round. Cold, blue people are round. If Erin is green and Erin is cold then Erin is blue.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
White, blue people are round.
((("someone" "is" "white" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Round, green people are cold.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
All cold, blue people are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
All big, blue people are round.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
All round, blue people are big.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
Nice people are round.
((("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Cold, blue people are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If Erin is green and Erin is cold then Erin is blue.
((("Erin" "is" "green" "+") ("Erin" "is" "cold" "+")) -> ("Erin" "is" "blue" "+"))
Charlie is green.
True
1
proof
[(triple4)]
("Charlie" "is" "green" "+")
triple4
Erin is not round.
False
1
inv-proof
[(triple13 OR ((triple12) -> rule6) OR ((triple10 triple9) -> rule3) OR ((triple10 triple9) -> rule7) OR ((triple14 triple9) -> rule1) OR ((triple8 triple9) -> rule4) OR ((triple10 ((triple11 triple10) -> rule8)) -> rule3) OR ((triple10 ((triple11 triple10) -> rule8)) -> rule7) OR ((triple14 ((triple11 triple10) -> rule8)) -> rule1) OR ((triple8 ((triple11 triple10) -> rule8)) -> rule4))]
("Erin" "is" "round" "-")
triple13
((triple12) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple10 triple9) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple10 triple9) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple14 triple9) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple8 triple9) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple10 ((triple11 triple10) -> (rule8 % int2))) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((triple10 ((triple11 triple10) -> (rule8 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((triple14 ((triple11 triple10) -> (rule8 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((triple8 ((triple11 triple10) -> (rule8 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
@0: Charlie is big.[(triple1 OR ((triple6 triple2) -> rule5) OR ((((triple5) -> rule6) triple2) -> rule5) OR ((((triple3 triple2) -> rule3) triple2) -> rule5) OR ((((triple3 triple2) -> rule7) triple2) -> rule5) OR ((((triple7 triple2) -> rule1) triple2) -> rule5))] Charlie is blue.[(triple2)] Charlie is cold.[(triple3 OR ((triple6 triple4) -> rule2) OR ((((triple5) -> rule6) triple4) -> rule2) OR ((((triple1 triple2) -> rule4) triple4) -> rule2) OR ((((triple7 triple2) -> rule1) triple4) -> rule2))] Charlie is green.[(triple4)] Charlie is nice.[(triple5)] Charlie is round.[(triple6 OR ((triple5) -> rule6) OR ((triple1 triple2) -> rule4) OR ((triple3 triple2) -> rule3) OR ((triple3 triple2) -> rule7) OR ((triple7 triple2) -> rule1))] Charlie is white.[(triple7)] Erin is big.[(triple8 OR ((triple13 triple9) -> rule5) OR ((triple13 ((triple11 triple10) -> rule8)) -> rule5) OR ((((triple12) -> rule6) triple9) -> rule5) OR ((((triple10 triple9) -> rule3) triple9) -> rule5) OR ((((triple10 triple9) -> rule7) triple9) -> rule5) OR ((((triple14 triple9) -> rule1) triple9) -> rule5) OR ((((triple12) -> rule6) ((triple11 triple10) -> rule8)) -> rule5) OR ((((triple10 triple9) -> rule3) ((triple11 triple10) -> rule8)) -> rule5) OR ((((triple10 triple9) -> rule7) ((triple11 triple10) -> rule8)) -> rule5) OR ((((triple14 triple9) -> rule1) ((triple11 triple10) -> rule8)) -> rule5) OR ((triple13 ((triple11 ((triple13 triple11) -> rule2)) -> rule8)) -> rule5) OR ((((triple10 ((triple11 triple10) -> rule8)) -> rule3) triple9) -> rule5) OR ((((triple10 ((triple11 triple10) -> rule8)) -> rule7) triple9) -> rule5) OR ((((triple14 ((triple11 triple10) -> rule8)) -> rule1) triple9) -> rule5) OR ((((triple12) -> rule6) ((triple11 ((triple13 triple11) -> rule2)) -> rule8)) -> rule5) OR ((((triple10 triple9) -> rule3) ((triple11 ((triple13 triple11) -> rule2)) -> rule8)) -> rule5) OR ((((triple10 triple9) -> rule7) ((triple11 ((triple13 triple11) -> rule2)) -> rule8)) -> rule5) OR ((((triple10 ((triple11 triple10) -> rule8)) -> rule3) ((triple11 triple10) -> rule8)) -> rule5) OR ((((triple10 ((triple11 triple10) -> rule8)) -> rule7) ((triple11 triple10) -> rule8)) -> rule5) OR ((((triple14 triple9) -> rule1) ((triple11 ((triple13 triple11) -> rule2)) -> rule8)) -> rule5) OR ((((triple14 ((triple11 triple10) -> rule8)) -> rule1) ((triple11 triple10) -> rule8)) -> rule5) OR ((((triple10 ((triple11 triple10) -> rule8)) -> rule3) ((triple11 ((triple13 triple11) -> rule2)) -> rule8)) -> rule5) OR ((((triple10 ((triple11 triple10) -> rule8)) -> rule7) ((triple11 ((triple13 triple11) -> rule2)) -> rule8)) -> rule5) OR ((((triple14 ((triple11 triple10) -> rule8)) -> rule1) ((triple11 ((triple13 triple11) -> rule2)) -> rule8)) -> rule5) OR ((triple13 ((triple11 ((((triple12) -> rule6) triple11) -> rule2)) -> rule8)) -> rule5) OR ((((triple12) -> rule6) ((triple11 ((((triple12) -> rule6) triple11) -> rule2)) -> rule8)) -> rule5) OR ((((triple10 triple9) -> rule3) ((triple11 ((((triple12) -> rule6) triple11) -> rule2)) -> rule8)) -> rule5) OR ((((triple10 triple9) -> rule7) ((triple11 ((((triple12) -> rule6) triple11) -> rule2)) -> rule8)) -> rule5) OR ((((triple14 triple9) -> rule1) ((triple11 ((((triple12) -> rule6) triple11) -> rule2)) -> rule8)) -> rule5) OR ((((triple10 ((triple11 triple10) -> rule8)) -> rule3) ((triple11 ((((triple12) -> rule6) triple11) -> rule2)) -> rule8)) -> rule5) OR ((((triple10 ((triple11 triple10) -> rule8)) -> rule7) ((triple11 ((((triple12) -> rule6) triple11) -> rule2)) -> rule8)) -> rule5) OR ((((triple14 ((triple11 triple10) -> rule8)) -> rule1) ((triple11 ((((triple12) -> rule6) triple11) -> rule2)) -> rule8)) -> rule5))] Erin is blue.[(triple9 OR ((triple11 triple10) -> rule8) OR ((triple11 ((triple13 triple11) -> rule2)) -> rule8) OR ((triple11 ((((triple12) -> rule6) triple11) -> rule2)) -> rule8))] Erin is cold.[(triple10 OR ((triple13 triple11) -> rule2) OR ((((triple12) -> rule6) triple11) -> rule2) OR ((((triple14 triple9) -> rule1) triple11) -> rule2) OR ((((triple8 triple9) -> rule4) triple11) -> rule2))] Erin is green.[(triple11)] Erin is nice.[(triple12)] Erin is round.[(triple13 OR ((triple12) -> rule6) OR ((triple10 triple9) -> rule3) OR ((triple10 triple9) -> rule7) OR ((triple14 triple9) -> rule1) OR ((triple8 triple9) -> rule4) OR ((triple10 ((triple11 triple10) -> rule8)) -> rule3) OR ((triple10 ((triple11 triple10) -> rule8)) -> rule7) OR ((triple14 ((triple11 triple10) -> rule8)) -> rule1) OR ((triple8 ((triple11 triple10) -> rule8)) -> rule4))] Erin is white.[(triple14)]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
((triple6 triple2) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((triple5) -> (rule6 % int2)) triple2) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple3 triple2) -> (rule3 % int2)) triple2) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple3 triple2) -> (rule7 % int2)) triple2) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple7 triple2) -> (rule1 % int2)) triple2) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
((triple6 triple4) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((((triple5) -> (rule6 % int2)) triple4) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple1 triple2) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple7 triple2) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple6
((triple5) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((triple1 triple2) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((triple3 triple2) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((triple3 triple2) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((triple7 triple2) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
triple7
Erin is big.
("Erin" "is" "big" "+")
triple8
((triple13 triple9) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple13 ((triple11 triple10) -> (rule8 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((triple12) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((triple10 triple9) -> (rule3 % int2)) triple9) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((triple10 triple9) -> (rule7 % int2)) triple9) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((triple14 triple9) -> (rule1 % int2)) triple9) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((triple12) -> (rule6 % int3)) ((triple11 triple10) -> (rule8 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((triple10 triple9) -> (rule3 % int3)) ((triple11 triple10) -> (rule8 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((triple10 triple9) -> (rule7 % int3)) ((triple11 triple10) -> (rule8 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((triple14 triple9) -> (rule1 % int3)) ((triple11 triple10) -> (rule8 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((triple13 ((triple11 ((triple13 triple11) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((triple10 ((triple11 triple10) -> (rule8 % int3))) -> (rule3 % int2)) triple9) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple10 ((triple11 triple10) -> (rule8 % int3))) -> (rule7 % int2)) triple9) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple14 ((triple11 triple10) -> (rule8 % int3))) -> (rule1 % int2)) triple9) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple12) -> (rule6 % int4)) ((triple11 ((triple13 triple11) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((triple10 triple9) -> (rule3 % int4)) ((triple11 ((triple13 triple11) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((triple10 triple9) -> (rule7 % int4)) ((triple11 ((triple13 triple11) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((triple10 ((triple11 triple10) -> (rule8 % int3))) -> (rule3 % int2)) ((triple11 triple10) -> (rule8 % int3))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple10 ((triple11 triple10) -> (rule8 % int3))) -> (rule7 % int2)) ((triple11 triple10) -> (rule8 % int3))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple14 triple9) -> (rule1 % int4)) ((triple11 ((triple13 triple11) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((triple14 ((triple11 triple10) -> (rule8 % int3))) -> (rule1 % int2)) ((triple11 triple10) -> (rule8 % int3))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple10 ((triple11 triple10) -> (rule8 % int4))) -> (rule3 % int3)) ((triple11 ((triple13 triple11) -> (rule2 % int2))) -> (rule8 % int4))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((triple10 ((triple11 triple10) -> (rule8 % int4))) -> (rule7 % int3)) ((triple11 ((triple13 triple11) -> (rule2 % int2))) -> (rule8 % int4))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((triple14 ((triple11 triple10) -> (rule8 % int4))) -> (rule1 % int3)) ((triple11 ((triple13 triple11) -> (rule2 % int2))) -> (rule8 % int4))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((triple13 ((triple11 ((((triple12) -> (rule6 % int4)) triple11) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((triple12) -> (rule6 % int4)) ((triple11 ((((triple12) -> (rule6 % int4)) triple11) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((triple10 triple9) -> (rule3 % int4)) ((triple11 ((((triple12) -> (rule6 % int4)) triple11) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((triple10 triple9) -> (rule7 % int4)) ((triple11 ((((triple12) -> (rule6 % int4)) triple11) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((triple14 triple9) -> (rule1 % int4)) ((triple11 ((((triple12) -> (rule6 % int4)) triple11) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((triple10 ((triple11 triple10) -> (rule8 % int4))) -> (rule3 % int3)) ((triple11 ((((triple12) -> (rule6 % int3)) triple11) -> (rule2 % int2))) -> (rule8 % int4))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((triple10 ((triple11 triple10) -> (rule8 % int4))) -> (rule7 % int3)) ((triple11 ((((triple12) -> (rule6 % int3)) triple11) -> (rule2 % int2))) -> (rule8 % int4))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((triple14 ((triple11 triple10) -> (rule8 % int4))) -> (rule1 % int3)) ((triple11 ((((triple12) -> (rule6 % int3)) triple11) -> (rule2 % int2))) -> (rule8 % int4))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
triple9
((triple11 triple10) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((triple11 ((triple13 triple11) -> (rule2 % int2))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((triple11 ((((triple12) -> (rule6 % int3)) triple11) -> (rule2 % int2))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
triple10
((triple13 triple11) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((((triple12) -> (rule6 % int2)) triple11) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((triple14 triple9) -> (rule1 % int2)) triple11) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((triple8 triple9) -> (rule4 % int2)) triple11) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
triple11
Erin is nice.
("Erin" "is" "nice" "+")
triple12
Erin is round.
("Erin" "is" "round" "+")
triple13
((triple12) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple10 triple9) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple10 triple9) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple14 triple9) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple8 triple9) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple10 ((triple11 triple10) -> (rule8 % int2))) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((triple10 ((triple11 triple10) -> (rule8 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((triple14 ((triple11 triple10) -> (rule8 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((triple8 ((triple11 triple10) -> (rule8 % int2))) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
triple14