Anne is round. Anne is smart. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is rough. Charlie is round. Charlie is smart. Charlie is white. Erin is blue. Erin is cold. Erin is kind. Erin is rough. Erin is round. Erin is smart. Erin is white. Round people are blue. If someone is round and kind then they are cold. Round, blue people are kind. If someone is kind and round then they are white. If Charlie is rough then Charlie is kind. Cold people are kind. If Charlie is rough then Charlie is round. If Erin is smart then Erin is cold.
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Round people are blue.
((("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and kind then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Round, blue people are kind.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and round then they are white.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
If Charlie is rough then Charlie is kind.
((("Charlie" "is" "rough" "+")) -> ("Charlie" "is" "kind" "+"))
Cold people are kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If Charlie is rough then Charlie is round.
((("Charlie" "is" "rough" "+")) -> ("Charlie" "is" "round" "+"))
If Erin is smart then Erin is cold.
((("Erin" "is" "smart" "+")) -> ("Erin" "is" "cold" "+"))
Charlie is blue.
True
1
proof
[(triple3 OR ((triple7) -> rule1) OR ((((triple6) -> rule7)) -> rule1))]
("Charlie" "is" "blue" "+")
triple3
((triple7) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((((triple6) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Erin is not blue.
False
1
inv-proof
[(triple10 OR ((triple14) -> rule1))]
("Erin" "is" "blue" "-")
triple10
((triple14) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Anne is blue.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "blue" "+")
((triple1) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is not blue.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "blue" "-")
((triple1) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
True
4
proof
[(((triple1 ((triple1) -> rule1)) -> rule3))]
("Anne" "is" "kind" "+")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is not kind.
False
4
inv-proof
[(((triple1 ((triple1) -> rule1)) -> rule3))]
("Anne" "is" "kind" "-")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is cold.
True
6
proof
[(((triple1 ((triple1 ((triple1) -> rule1)) -> rule3)) -> rule2))]
("Anne" "is" "cold" "+")
((triple1 ((triple1 ((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is not cold.
False
6
inv-proof
[(((triple1 ((triple1 ((triple1) -> rule1)) -> rule3)) -> rule2))]
("Anne" "is" "cold" "-")
((triple1 ((triple1 ((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
@0: Anne is round.[(triple1)] Anne is smart.[(triple2)] Charlie is blue.[(triple3 OR ((triple7) -> rule1) OR ((((triple6) -> rule7)) -> rule1))] Charlie is cold.[(triple4 OR ((triple7 triple5) -> rule2) OR ((triple7 ((triple6) -> rule5)) -> rule2) OR ((triple7 ((triple7 triple3) -> rule3)) -> rule2) OR ((((triple6) -> rule7) triple5) -> rule2) OR ((((triple6) -> rule7) ((triple6) -> rule5)) -> rule2) OR ((((triple6) -> rule7) ((triple7 triple3) -> rule3)) -> rule2) OR ((triple7 ((triple7 ((triple7) -> rule1)) -> rule3)) -> rule2) OR ((triple7 ((((triple6) -> rule7) triple3) -> rule3)) -> rule2) OR ((triple7 ((((triple6) -> rule7) ((triple7) -> rule1)) -> rule3)) -> rule2) OR ((((triple6) -> rule7) ((triple7 ((triple7) -> rule1)) -> rule3)) -> rule2) OR ((((triple6) -> rule7) ((((triple6) -> rule7) triple3) -> rule3)) -> rule2) OR ((((triple6) -> rule7) ((((triple6) -> rule7) ((triple7) -> rule1)) -> rule3)) -> rule2) OR ((triple7 ((triple7 ((((triple6) -> rule7)) -> rule1)) -> rule3)) -> rule2) OR ((triple7 ((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule1)) -> rule3)) -> rule2) OR ((((triple6) -> rule7) ((triple7 ((((triple6) -> rule7)) -> rule1)) -> rule3)) -> rule2) OR ((((triple6) -> rule7) ((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule1)) -> rule3)) -> rule2))] Charlie is kind.[(triple5 OR ((triple4) -> rule6) OR ((triple6) -> rule5) OR ((triple7 triple3) -> rule3) OR ((triple7 ((triple7) -> rule1)) -> rule3) OR ((((triple6) -> rule7) triple3) -> rule3) OR ((((triple6) -> rule7) ((triple7) -> rule1)) -> rule3) OR ((triple7 ((((triple6) -> rule7)) -> rule1)) -> rule3) OR ((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule1)) -> rule3))] Charlie is rough.[(triple6)] Charlie is round.[(triple7 OR ((triple6) -> rule7))] Charlie is smart.[(triple8)] Charlie is white.[(triple9 OR ((triple5 triple7) -> rule4) OR ((triple5 ((triple6) -> rule7)) -> rule4) OR ((((triple4) -> rule6) triple7) -> rule4) OR ((((triple6) -> rule5) triple7) -> rule4) OR ((((triple7 triple3) -> rule3) triple7) -> rule4) OR ((((triple4) -> rule6) ((triple6) -> rule7)) -> rule4) OR ((((triple6) -> rule5) ((triple6) -> rule7)) -> rule4) OR ((((triple7 triple3) -> rule3) ((triple6) -> rule7)) -> rule4) OR ((((triple7 ((triple7) -> rule1)) -> rule3) triple7) -> rule4) OR ((((((triple6) -> rule7) triple3) -> rule3) triple7) -> rule4) OR ((((triple7 ((triple7) -> rule1)) -> rule3) ((triple6) -> rule7)) -> rule4) OR ((((((triple6) -> rule7) triple3) -> rule3) ((triple6) -> rule7)) -> rule4) OR ((((((triple6) -> rule7) ((triple7) -> rule1)) -> rule3) triple7) -> rule4) OR ((((((triple6) -> rule7) ((triple7) -> rule1)) -> rule3) ((triple6) -> rule7)) -> rule4) OR ((((triple7 ((((triple6) -> rule7)) -> rule1)) -> rule3) triple7) -> rule4) OR ((((triple7 ((((triple6) -> rule7)) -> rule1)) -> rule3) ((triple6) -> rule7)) -> rule4) OR ((((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule1)) -> rule3) triple7) -> rule4) OR ((((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule1)) -> rule3) ((triple6) -> rule7)) -> rule4))] Erin is blue.[(triple10 OR ((triple14) -> rule1))] Erin is cold.[(triple11 OR ((triple15) -> rule8) OR ((triple14 triple12) -> rule2) OR ((triple14 ((triple14 triple10) -> rule3)) -> rule2) OR ((triple14 ((triple14 ((triple14) -> rule1)) -> rule3)) -> rule2))] Erin is kind.[(triple12 OR ((triple11) -> rule6) OR ((triple14 triple10) -> rule3) OR ((((triple15) -> rule8)) -> rule6) OR ((triple14 ((triple14) -> rule1)) -> rule3))] Erin is rough.[(triple13)] Erin is round.[(triple14)] Erin is smart.[(triple15)] Erin is white.[(triple16 OR ((triple12 triple14) -> rule4) OR ((((triple11) -> rule6) triple14) -> rule4) OR ((((triple14 triple10) -> rule3) triple14) -> rule4) OR ((((((triple15) -> rule8)) -> rule6) triple14) -> rule4) OR ((((triple14 ((triple14) -> rule1)) -> rule3) triple14) -> rule4))] @1: Anne is blue.[(((triple1) -> rule1))] @2: Anne is kind.[(((triple1 ((triple1) -> rule1)) -> rule3))] @3: Anne is cold.[(((triple1 ((triple1 ((triple1) -> rule1)) -> rule3)) -> rule2))] Anne is white.[(((((triple1 ((triple1) -> rule1)) -> rule3) triple1) -> rule4))]
Anne is round.
("Anne" "is" "round" "+")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
((triple7) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((((triple6) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
((triple7 triple5) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((triple7 ((triple6) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((triple7 ((triple7 triple3) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple6) -> (rule7 % int2)) triple5) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple6) -> (rule7 % int3)) ((triple6) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple6) -> (rule7 % int3)) ((triple7 triple3) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((triple7 ((triple7 ((triple7) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((triple7 ((((triple6) -> (rule7 % int3)) triple3) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((triple7 ((((triple6) -> (rule7 % int4)) ((triple7) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple6) -> (rule7 % int4)) ((triple7 ((triple7) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple6) -> (rule7 % int3)) ((((triple6) -> (rule7 % int3)) triple3) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple6) -> (rule7 % int4)) ((((triple6) -> (rule7 % int4)) ((triple7) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((triple7 ((triple7 ((((triple6) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((triple7 ((((triple6) -> (rule7 % int4)) ((((triple6) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple6) -> (rule7 % int4)) ((triple7 ((((triple6) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple6) -> (rule7 % int4)) ((((triple6) -> (rule7 % int4)) ((((triple6) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
((triple4) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple6) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple7 triple3) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple7 ((triple7) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple6) -> (rule7 % int2)) triple3) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple6) -> (rule7 % int3)) ((triple7) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((triple7 ((((triple6) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple6) -> (rule7 % int3)) ((((triple6) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
triple7
((triple6) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple8
Charlie is white.
("Charlie" "is" "white" "+")
triple9
((triple5 triple7) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((triple5 ((triple6) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple4) -> (rule6 % int2)) triple7) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple6) -> (rule5 % int2)) triple7) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple7 triple3) -> (rule3 % int2)) triple7) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple4) -> (rule6 % int3)) ((triple6) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple6) -> (rule5 % int3)) ((triple6) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple7 triple3) -> (rule3 % int3)) ((triple6) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple7 ((triple7) -> (rule1 % int3))) -> (rule3 % int2)) triple7) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((triple6) -> (rule7 % int3)) triple3) -> (rule3 % int2)) triple7) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple7 ((triple7) -> (rule1 % int4))) -> (rule3 % int3)) ((triple6) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple6) -> (rule7 % int3)) triple3) -> (rule3 % int2)) ((triple6) -> (rule7 % int3))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple6) -> (rule7 % int4)) ((triple7) -> (rule1 % int3))) -> (rule3 % int2)) triple7) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple6) -> (rule7 % int4)) ((triple7) -> (rule1 % int3))) -> (rule3 % int2)) ((triple6) -> (rule7 % int4))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple7 ((((triple6) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple7) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple7 ((((triple6) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple6) -> (rule7 % int4))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple6) -> (rule7 % int4)) ((((triple6) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple7) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple6) -> (rule7 % int4)) ((((triple6) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) ((triple6) -> (rule7 % int4))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
triple10
((triple14) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
triple11
((triple15) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple14 triple12) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple14 ((triple14 triple10) -> (rule3 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((triple14 ((triple14 ((triple14) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
triple12
((triple11) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((triple14 triple10) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((((triple15) -> (rule8 % int2))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((triple14 ((triple14) -> (rule1 % int2))) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
triple13
Erin is round.
("Erin" "is" "round" "+")
triple14
Erin is smart.
("Erin" "is" "smart" "+")
triple15
Erin is white.
("Erin" "is" "white" "+")
triple16
((triple12 triple14) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple11) -> (rule6 % int2)) triple14) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((triple14 triple10) -> (rule3 % int2)) triple14) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((((triple15) -> (rule8 % int3))) -> (rule6 % int2)) triple14) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((triple14 ((triple14) -> (rule1 % int3))) -> (rule3 % int2)) triple14) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
((triple1) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
((triple1 ((triple1 ((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
((((triple1 ((triple1) -> (rule1 % int3))) -> (rule3 % int2)) triple1) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3