Anne is big. Anne is blue. Anne is nice. Anne is red. Anne is rough. Anne is round. Anne is white. Charlie is big. Charlie is blue. Erin is big. Erin is blue. Erin is nice. Erin is red. Erin is round. Erin is white. If Anne is white then Anne is blue. All big, nice things are blue. Blue things are white. If something is nice then it is white. Blue, white things are rough. If something is big and red then it is nice. Red, round things are nice. If something is rough then it is red.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
If Anne is white then Anne is blue.
((("Anne" "is" "white" "+")) -> ("Anne" "is" "blue" "+"))
All big, nice things are blue.
((("something" "is" "big" "+") ("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
Blue things are white.
((("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
If something is nice then it is white.
((("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
Blue, white things are rough.
((("something" "is" "blue" "+") ("something" "is" "white" "+")) -> ("something" "is" "rough" "+"))
If something is big and red then it is nice.
((("something" "is" "big" "+") ("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
Red, round things are nice.
((("something" "is" "red" "+") ("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
If something is rough then it is red.
((("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
Anne is red.
True
1
proof
[(triple4 OR ((triple5) -> rule8) OR ((((triple2 triple7) -> rule5)) -> rule8) OR ((((triple2 ((triple2) -> rule3)) -> rule5)) -> rule8) OR ((((triple2 ((triple3) -> rule4)) -> rule5)) -> rule8) OR ((((((triple7) -> rule1) triple7) -> rule5)) -> rule8) OR ((((((triple1 triple3) -> rule2) triple7) -> rule5)) -> rule8) OR ((((((triple7) -> rule1) ((triple2) -> rule3)) -> rule5)) -> rule8) OR ((((((triple7) -> rule1) ((triple3) -> rule4)) -> rule5)) -> rule8) OR ((((((triple1 triple3) -> rule2) ((triple2) -> rule3)) -> rule5)) -> rule8) OR ((((((triple1 triple3) -> rule2) ((triple3) -> rule4)) -> rule5)) -> rule8) OR ((((triple2 ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple3) -> rule4)) -> rule1) triple7) -> rule5)) -> rule8) OR ((((((triple7) -> rule1) ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple3) -> rule4)) -> rule1) ((triple2) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple3) -> rule4)) -> rule1) ((triple3) -> rule4)) -> rule5)) -> rule8) OR ((((((triple1 triple3) -> rule2) ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple3) -> rule4)) -> rule1) ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5)) -> rule8))]
("Anne" "is" "red" "+")
triple4
((triple5) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((((triple2 triple7) -> (rule5 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((triple2 ((triple2) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((triple2 ((triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((((triple7) -> (rule1 % int3)) triple7) -> (rule5 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple1 triple3) -> (rule2 % int3)) triple7) -> (rule5 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple7) -> (rule1 % int4)) ((triple2) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple7) -> (rule1 % int4)) ((triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple1 triple3) -> (rule2 % int4)) ((triple2) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple1 triple3) -> (rule2 % int4)) ((triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple2 ((((triple1 triple3) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((((triple3) -> (rule4 % int4))) -> (rule1 % int3)) triple7) -> (rule5 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple7) -> (rule1 % int4)) ((((triple1 triple3) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((((triple3) -> (rule4 % int4))) -> (rule1 % int3)) ((triple2) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((((triple3) -> (rule4 % int4))) -> (rule1 % int3)) ((triple3) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple1 triple3) -> (rule2 % int4)) ((((triple1 triple3) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((((triple3) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple1 triple3) -> (rule2 % int3))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is not rough.
False
1
inv-proof
[(triple5 OR ((triple2 triple7) -> rule5) OR ((triple2 ((triple2) -> rule3)) -> rule5) OR ((triple2 ((triple3) -> rule4)) -> rule5) OR ((((triple7) -> rule1) triple7) -> rule5) OR ((((triple1 triple3) -> rule2) triple7) -> rule5) OR ((((triple7) -> rule1) ((triple2) -> rule3)) -> rule5) OR ((((triple7) -> rule1) ((triple3) -> rule4)) -> rule5) OR ((((triple1 triple3) -> rule2) ((triple2) -> rule3)) -> rule5) OR ((((triple1 triple3) -> rule2) ((triple3) -> rule4)) -> rule5) OR ((triple2 ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5) OR ((triple2 ((((triple1 triple4) -> rule6)) -> rule4)) -> rule5) OR ((triple2 ((((triple4 triple6) -> rule7)) -> rule4)) -> rule5) OR ((((((triple3) -> rule4)) -> rule1) triple7) -> rule5) OR ((((triple1 ((triple1 triple4) -> rule6)) -> rule2) triple7) -> rule5) OR ((((triple1 ((triple4 triple6) -> rule7)) -> rule2) triple7) -> rule5) OR ((((triple7) -> rule1) ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5) OR ((((triple7) -> rule1) ((((triple1 triple4) -> rule6)) -> rule4)) -> rule5) OR ((((triple7) -> rule1) ((((triple4 triple6) -> rule7)) -> rule4)) -> rule5) OR ((((((triple3) -> rule4)) -> rule1) ((triple2) -> rule3)) -> rule5) OR ((((((triple3) -> rule4)) -> rule1) ((triple3) -> rule4)) -> rule5) OR ((((triple1 triple3) -> rule2) ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5) OR ((((triple1 triple3) -> rule2) ((((triple1 triple4) -> rule6)) -> rule4)) -> rule5) OR ((((triple1 triple3) -> rule2) ((((triple4 triple6) -> rule7)) -> rule4)) -> rule5) OR ((((triple1 ((triple1 triple4) -> rule6)) -> rule2) ((triple2) -> rule3)) -> rule5) OR ((((triple1 ((triple1 triple4) -> rule6)) -> rule2) ((triple3) -> rule4)) -> rule5) OR ((((triple1 ((triple4 triple6) -> rule7)) -> rule2) ((triple2) -> rule3)) -> rule5) OR ((((triple1 ((triple4 triple6) -> rule7)) -> rule2) ((triple3) -> rule4)) -> rule5) OR ((((((triple3) -> rule4)) -> rule1) ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5) OR ((((((triple3) -> rule4)) -> rule1) ((((triple1 triple4) -> rule6)) -> rule4)) -> rule5) OR ((((((triple3) -> rule4)) -> rule1) ((((triple4 triple6) -> rule7)) -> rule4)) -> rule5) OR ((((triple1 ((triple1 triple4) -> rule6)) -> rule2) ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5) OR ((((triple1 ((triple1 triple4) -> rule6)) -> rule2) ((((triple1 triple4) -> rule6)) -> rule4)) -> rule5) OR ((((triple1 ((triple1 triple4) -> rule6)) -> rule2) ((((triple4 triple6) -> rule7)) -> rule4)) -> rule5) OR ((((triple1 ((triple4 triple6) -> rule7)) -> rule2) ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5) OR ((((triple1 ((triple4 triple6) -> rule7)) -> rule2) ((((triple1 triple4) -> rule6)) -> rule4)) -> rule5) OR ((((triple1 ((triple4 triple6) -> rule7)) -> rule2) ((((triple4 triple6) -> rule7)) -> rule4)) -> rule5) OR ((triple2 ((((triple1 ((triple1 triple4) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((triple2 ((((triple1 ((triple4 triple6) -> rule7)) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple1 triple4) -> rule6)) -> rule4)) -> rule1) triple7) -> rule5) OR ((((((((triple4 triple6) -> rule7)) -> rule4)) -> rule1) triple7) -> rule5) OR ((((triple7) -> rule1) ((((triple1 ((triple1 triple4) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((((triple7) -> rule1) ((((triple1 ((triple4 triple6) -> rule7)) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple1 triple4) -> rule6)) -> rule4)) -> rule1) ((triple2) -> rule3)) -> rule5) OR ((((((((triple1 triple4) -> rule6)) -> rule4)) -> rule1) ((triple3) -> rule4)) -> rule5) OR ((((((((triple4 triple6) -> rule7)) -> rule4)) -> rule1) ((triple2) -> rule3)) -> rule5) OR ((((((((triple4 triple6) -> rule7)) -> rule4)) -> rule1) ((triple3) -> rule4)) -> rule5) OR ((((triple1 triple3) -> rule2) ((((triple1 ((triple1 triple4) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((((triple1 triple3) -> rule2) ((((triple1 ((triple4 triple6) -> rule7)) -> rule2)) -> rule3)) -> rule5) OR ((((((triple3) -> rule4)) -> rule1) ((((triple1 ((triple1 triple4) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((((((triple3) -> rule4)) -> rule1) ((((triple1 ((triple4 triple6) -> rule7)) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple1 triple4) -> rule6)) -> rule4)) -> rule1) ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple1 triple4) -> rule6)) -> rule4)) -> rule1) ((((triple1 triple4) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple1 triple4) -> rule6)) -> rule4)) -> rule1) ((((triple4 triple6) -> rule7)) -> rule4)) -> rule5) OR ((((((((triple4 triple6) -> rule7)) -> rule4)) -> rule1) ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple4 triple6) -> rule7)) -> rule4)) -> rule1) ((((triple1 triple4) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple4 triple6) -> rule7)) -> rule4)) -> rule1) ((((triple4 triple6) -> rule7)) -> rule4)) -> rule5) OR ((((triple1 ((triple1 triple4) -> rule6)) -> rule2) ((((triple1 ((triple1 triple4) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((((triple1 ((triple1 triple4) -> rule6)) -> rule2) ((((triple1 ((triple4 triple6) -> rule7)) -> rule2)) -> rule3)) -> rule5) OR ((((triple1 ((triple4 triple6) -> rule7)) -> rule2) ((((triple1 ((triple1 triple4) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((((triple1 ((triple4 triple6) -> rule7)) -> rule2) ((((triple1 ((triple4 triple6) -> rule7)) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple1 triple4) -> rule6)) -> rule4)) -> rule1) ((((triple1 ((triple1 triple4) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple1 triple4) -> rule6)) -> rule4)) -> rule1) ((((triple1 ((triple4 triple6) -> rule7)) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple4 triple6) -> rule7)) -> rule4)) -> rule1) ((((triple1 ((triple1 triple4) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple4 triple6) -> rule7)) -> rule4)) -> rule1) ((((triple1 ((triple4 triple6) -> rule7)) -> rule2)) -> rule3)) -> rule5))]
("Anne" "is" "rough" "-")
triple5
((triple2 triple7) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((triple2 ((triple2) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((triple2 ((triple3) -> (rule4 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((triple7) -> (rule1 % int2)) triple7) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple1 triple3) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple7) -> (rule1 % int3)) ((triple2) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((triple7) -> (rule1 % int3)) ((triple3) -> (rule4 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((triple1 triple3) -> (rule2 % int3)) ((triple2) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((triple1 triple3) -> (rule2 % int3)) ((triple3) -> (rule4 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((triple2 ((((triple1 triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((triple2 ((((triple1 triple4) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((triple2 ((((triple4 triple6) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple3) -> (rule4 % int3))) -> (rule1 % int2)) triple7) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((triple1 ((triple1 triple4) -> (rule6 % int3))) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((triple1 ((triple4 triple6) -> (rule7 % int3))) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((triple7) -> (rule1 % int3)) ((((triple1 triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((triple7) -> (rule1 % int4)) ((((triple1 triple4) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple7) -> (rule1 % int4)) ((((triple4 triple6) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple3) -> (rule4 % int3))) -> (rule1 % int2)) ((triple2) -> (rule3 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((((triple3) -> (rule4 % int3))) -> (rule1 % int2)) ((triple3) -> (rule4 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((triple1 triple3) -> (rule2 % int3)) ((((triple1 triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((triple1 triple3) -> (rule2 % int4)) ((((triple1 triple4) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple1 triple3) -> (rule2 % int4)) ((((triple4 triple6) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple1 ((triple1 triple4) -> (rule6 % int4))) -> (rule2 % int3)) ((triple2) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple1 ((triple1 triple4) -> (rule6 % int4))) -> (rule2 % int3)) ((triple3) -> (rule4 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple1 ((triple4 triple6) -> (rule7 % int4))) -> (rule2 % int3)) ((triple2) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple1 ((triple4 triple6) -> (rule7 % int4))) -> (rule2 % int3)) ((triple3) -> (rule4 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple3) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple1 triple3) -> (rule2 % int2))) -> (rule3 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((((triple3) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple1 triple4) -> (rule6 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple3) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple4 triple6) -> (rule7 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((triple1 ((triple1 triple4) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple1 triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple1 ((triple1 triple4) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple1 triple4) -> (rule6 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple1 ((triple1 triple4) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple4 triple6) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple1 ((triple4 triple6) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple1 triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple1 ((triple4 triple6) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple1 triple4) -> (rule6 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple1 ((triple4 triple6) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple4 triple6) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((triple2 ((((triple1 ((triple1 triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((triple2 ((((triple1 ((triple4 triple6) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple1 triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) triple7) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple4 triple6) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) triple7) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple7) -> (rule1 % int4)) ((((triple1 ((triple1 triple4) -> (rule6 % int3))) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple7) -> (rule1 % int4)) ((((triple1 ((triple4 triple6) -> (rule7 % int3))) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((((triple1 triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((triple2) -> (rule3 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple1 triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((triple3) -> (rule4 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple4 triple6) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((triple2) -> (rule3 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple4 triple6) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((triple3) -> (rule4 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple1 triple3) -> (rule2 % int4)) ((((triple1 ((triple1 triple4) -> (rule6 % int3))) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple1 triple3) -> (rule2 % int4)) ((((triple1 ((triple4 triple6) -> (rule7 % int3))) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple3) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple1 ((triple1 triple4) -> (rule6 % int2))) -> (rule2 % int3))) -> (rule3 % int4))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple3) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple1 ((triple4 triple6) -> (rule7 % int2))) -> (rule2 % int3))) -> (rule3 % int4))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((((triple1 triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple1 triple3) -> (rule2 % int2))) -> (rule3 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple1 triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple1 triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple1 triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple4 triple6) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple4 triple6) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple1 triple3) -> (rule2 % int2))) -> (rule3 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple4 triple6) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple1 triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple4 triple6) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple4 triple6) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple1 ((triple1 triple4) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple1 ((triple1 triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple1 ((triple1 triple4) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple1 ((triple4 triple6) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple1 ((triple4 triple6) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple1 ((triple1 triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple1 ((triple4 triple6) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple1 ((triple4 triple6) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple1 triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple1 ((triple1 triple4) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule3 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple1 triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple1 ((triple4 triple6) -> (rule7 % int4))) -> (rule2 % int2))) -> (rule3 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple4 triple6) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple1 ((triple1 triple4) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule3 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple4 triple6) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple1 ((triple4 triple6) -> (rule7 % int4))) -> (rule2 % int2))) -> (rule3 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Charlie is white.
True
2
proof
[(((triple9) -> rule3))]
("Charlie" "is" "white" "+")
((triple9) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is not white.
False
2
inv-proof
[(((triple9) -> rule3))]
("Charlie" "is" "white" "-")
((triple9) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
True
4
proof
[(((triple9 ((triple9) -> rule3)) -> rule5))]
("Charlie" "is" "rough" "+")
((triple9 ((triple9) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is not rough.
False
4
inv-proof
[(((triple9 ((triple9) -> rule3)) -> rule5))]
("Charlie" "is" "rough" "-")
((triple9 ((triple9) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
True
5
proof
[(((((triple9 ((triple9) -> rule3)) -> rule5)) -> rule8))]
("Charlie" "is" "red" "+")
((((triple9 ((triple9) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is not red.
False
5
inv-proof
[(((((triple9 ((triple9) -> rule3)) -> rule5)) -> rule8))]
("Charlie" "is" "red" "-")
((((triple9 ((triple9) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple7) -> rule1) OR ((triple1 triple3) -> rule2) OR ((((triple3) -> rule4)) -> rule1) OR ((triple1 ((triple1 triple4) -> rule6)) -> rule2) OR ((triple1 ((triple4 triple6) -> rule7)) -> rule2) OR ((((((triple1 triple4) -> rule6)) -> rule4)) -> rule1) OR ((((((triple4 triple6) -> rule7)) -> rule4)) -> rule1) OR ((triple1 ((triple1 ((triple5) -> rule8)) -> rule6)) -> rule2) OR ((triple1 ((((triple5) -> rule8) triple6) -> rule7)) -> rule2) OR ((((((triple1 ((triple5) -> rule8)) -> rule6)) -> rule4)) -> rule1) OR ((((((((triple5) -> rule8) triple6) -> rule7)) -> rule4)) -> rule1))] Anne is nice.[(triple3 OR ((triple1 triple4) -> rule6) OR ((triple4 triple6) -> rule7) OR ((triple1 ((triple5) -> rule8)) -> rule6) OR ((((triple5) -> rule8) triple6) -> rule7) OR ((triple1 ((((triple2 triple7) -> rule5)) -> rule8)) -> rule6) OR ((((((triple2 triple7) -> rule5)) -> rule8) triple6) -> rule7) OR ((triple1 ((((triple2 ((triple2) -> rule3)) -> rule5)) -> rule8)) -> rule6) OR ((triple1 ((((((triple7) -> rule1) triple7) -> rule5)) -> rule8)) -> rule6) OR ((((((triple2 ((triple2) -> rule3)) -> rule5)) -> rule8) triple6) -> rule7) OR ((((((((triple7) -> rule1) triple7) -> rule5)) -> rule8) triple6) -> rule7) OR ((triple1 ((((((triple7) -> rule1) ((triple2) -> rule3)) -> rule5)) -> rule8)) -> rule6) OR ((((((((triple7) -> rule1) ((triple2) -> rule3)) -> rule5)) -> rule8) triple6) -> rule7))] Anne is red.[(triple4 OR ((triple5) -> rule8) OR ((((triple2 triple7) -> rule5)) -> rule8) OR ((((triple2 ((triple2) -> rule3)) -> rule5)) -> rule8) OR ((((triple2 ((triple3) -> rule4)) -> rule5)) -> rule8) OR ((((((triple7) -> rule1) triple7) -> rule5)) -> rule8) OR ((((((triple1 triple3) -> rule2) triple7) -> rule5)) -> rule8) OR ((((((triple7) -> rule1) ((triple2) -> rule3)) -> rule5)) -> rule8) OR ((((((triple7) -> rule1) ((triple3) -> rule4)) -> rule5)) -> rule8) OR ((((((triple1 triple3) -> rule2) ((triple2) -> rule3)) -> rule5)) -> rule8) OR ((((((triple1 triple3) -> rule2) ((triple3) -> rule4)) -> rule5)) -> rule8) OR ((((triple2 ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple3) -> rule4)) -> rule1) triple7) -> rule5)) -> rule8) OR ((((((triple7) -> rule1) ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple3) -> rule4)) -> rule1) ((triple2) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple3) -> rule4)) -> rule1) ((triple3) -> rule4)) -> rule5)) -> rule8) OR ((((((triple1 triple3) -> rule2) ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple3) -> rule4)) -> rule1) ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5)) -> rule8))] Anne is rough.[(triple5 OR ((triple2 triple7) -> rule5) OR ((triple2 ((triple2) -> rule3)) -> rule5) OR ((triple2 ((triple3) -> rule4)) -> rule5) OR ((((triple7) -> rule1) triple7) -> rule5) OR ((((triple1 triple3) -> rule2) triple7) -> rule5) OR ((((triple7) -> rule1) ((triple2) -> rule3)) -> rule5) OR ((((triple7) -> rule1) ((triple3) -> rule4)) -> rule5) OR ((((triple1 triple3) -> rule2) ((triple2) -> rule3)) -> rule5) OR ((((triple1 triple3) -> rule2) ((triple3) -> rule4)) -> rule5) OR ((triple2 ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5) OR ((triple2 ((((triple1 triple4) -> rule6)) -> rule4)) -> rule5) OR ((triple2 ((((triple4 triple6) -> rule7)) -> rule4)) -> rule5) OR ((((((triple3) -> rule4)) -> rule1) triple7) -> rule5) OR ((((triple1 ((triple1 triple4) -> rule6)) -> rule2) triple7) -> rule5) OR ((((triple1 ((triple4 triple6) -> rule7)) -> rule2) triple7) -> rule5) OR ((((triple7) -> rule1) ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5) OR ((((triple7) -> rule1) ((((triple1 triple4) -> rule6)) -> rule4)) -> rule5) OR ((((triple7) -> rule1) ((((triple4 triple6) -> rule7)) -> rule4)) -> rule5) OR ((((((triple3) -> rule4)) -> rule1) ((triple2) -> rule3)) -> rule5) OR ((((((triple3) -> rule4)) -> rule1) ((triple3) -> rule4)) -> rule5) OR ((((triple1 triple3) -> rule2) ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5) OR ((((triple1 triple3) -> rule2) ((((triple1 triple4) -> rule6)) -> rule4)) -> rule5) OR ((((triple1 triple3) -> rule2) ((((triple4 triple6) -> rule7)) -> rule4)) -> rule5) OR ((((triple1 ((triple1 triple4) -> rule6)) -> rule2) ((triple2) -> rule3)) -> rule5) OR ((((triple1 ((triple1 triple4) -> rule6)) -> rule2) ((triple3) -> rule4)) -> rule5) OR ((((triple1 ((triple4 triple6) -> rule7)) -> rule2) ((triple2) -> rule3)) -> rule5) OR ((((triple1 ((triple4 triple6) -> rule7)) -> rule2) ((triple3) -> rule4)) -> rule5) OR ((((((triple3) -> rule4)) -> rule1) ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5) OR ((((((triple3) -> rule4)) -> rule1) ((((triple1 triple4) -> rule6)) -> rule4)) -> rule5) OR ((((((triple3) -> rule4)) -> rule1) ((((triple4 triple6) -> rule7)) -> rule4)) -> rule5) OR ((((triple1 ((triple1 triple4) -> rule6)) -> rule2) ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5) OR ((((triple1 ((triple1 triple4) -> rule6)) -> rule2) ((((triple1 triple4) -> rule6)) -> rule4)) -> rule5) OR ((((triple1 ((triple1 triple4) -> rule6)) -> rule2) ((((triple4 triple6) -> rule7)) -> rule4)) -> rule5) OR ((((triple1 ((triple4 triple6) -> rule7)) -> rule2) ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5) OR ((((triple1 ((triple4 triple6) -> rule7)) -> rule2) ((((triple1 triple4) -> rule6)) -> rule4)) -> rule5) OR ((((triple1 ((triple4 triple6) -> rule7)) -> rule2) ((((triple4 triple6) -> rule7)) -> rule4)) -> rule5) OR ((triple2 ((((triple1 ((triple1 triple4) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((triple2 ((((triple1 ((triple4 triple6) -> rule7)) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple1 triple4) -> rule6)) -> rule4)) -> rule1) triple7) -> rule5) OR ((((((((triple4 triple6) -> rule7)) -> rule4)) -> rule1) triple7) -> rule5) OR ((((triple7) -> rule1) ((((triple1 ((triple1 triple4) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((((triple7) -> rule1) ((((triple1 ((triple4 triple6) -> rule7)) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple1 triple4) -> rule6)) -> rule4)) -> rule1) ((triple2) -> rule3)) -> rule5) OR ((((((((triple1 triple4) -> rule6)) -> rule4)) -> rule1) ((triple3) -> rule4)) -> rule5) OR ((((((((triple4 triple6) -> rule7)) -> rule4)) -> rule1) ((triple2) -> rule3)) -> rule5) OR ((((((((triple4 triple6) -> rule7)) -> rule4)) -> rule1) ((triple3) -> rule4)) -> rule5) OR ((((triple1 triple3) -> rule2) ((((triple1 ((triple1 triple4) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((((triple1 triple3) -> rule2) ((((triple1 ((triple4 triple6) -> rule7)) -> rule2)) -> rule3)) -> rule5) OR ((((((triple3) -> rule4)) -> rule1) ((((triple1 ((triple1 triple4) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((((((triple3) -> rule4)) -> rule1) ((((triple1 ((triple4 triple6) -> rule7)) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple1 triple4) -> rule6)) -> rule4)) -> rule1) ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple1 triple4) -> rule6)) -> rule4)) -> rule1) ((((triple1 triple4) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple1 triple4) -> rule6)) -> rule4)) -> rule1) ((((triple4 triple6) -> rule7)) -> rule4)) -> rule5) OR ((((((((triple4 triple6) -> rule7)) -> rule4)) -> rule1) ((((triple1 triple3) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple4 triple6) -> rule7)) -> rule4)) -> rule1) ((((triple1 triple4) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple4 triple6) -> rule7)) -> rule4)) -> rule1) ((((triple4 triple6) -> rule7)) -> rule4)) -> rule5) OR ((((triple1 ((triple1 triple4) -> rule6)) -> rule2) ((((triple1 ((triple1 triple4) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((((triple1 ((triple1 triple4) -> rule6)) -> rule2) ((((triple1 ((triple4 triple6) -> rule7)) -> rule2)) -> rule3)) -> rule5) OR ((((triple1 ((triple4 triple6) -> rule7)) -> rule2) ((((triple1 ((triple1 triple4) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((((triple1 ((triple4 triple6) -> rule7)) -> rule2) ((((triple1 ((triple4 triple6) -> rule7)) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple1 triple4) -> rule6)) -> rule4)) -> rule1) ((((triple1 ((triple1 triple4) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple1 triple4) -> rule6)) -> rule4)) -> rule1) ((((triple1 ((triple4 triple6) -> rule7)) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple4 triple6) -> rule7)) -> rule4)) -> rule1) ((((triple1 ((triple1 triple4) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple4 triple6) -> rule7)) -> rule4)) -> rule1) ((((triple1 ((triple4 triple6) -> rule7)) -> rule2)) -> rule3)) -> rule5))] Anne is round.[(triple6)] Anne is white.[(triple7 OR ((triple2) -> rule3) OR ((triple3) -> rule4) OR ((((triple1 triple3) -> rule2)) -> rule3) OR ((((triple1 triple4) -> rule6)) -> rule4) OR ((((triple4 triple6) -> rule7)) -> rule4) OR ((((triple1 ((triple5) -> rule8)) -> rule6)) -> rule4) OR ((((triple1 ((triple1 triple4) -> rule6)) -> rule2)) -> rule3) OR ((((triple1 ((triple4 triple6) -> rule7)) -> rule2)) -> rule3) OR ((((((triple5) -> rule8) triple6) -> rule7)) -> rule4) OR ((((triple1 ((triple1 ((triple5) -> rule8)) -> rule6)) -> rule2)) -> rule3) OR ((((triple1 ((((triple5) -> rule8) triple6) -> rule7)) -> rule2)) -> rule3))] Charlie is big.[(triple8)] Charlie is blue.[(triple9)] Erin is big.[(triple10)] Erin is blue.[(triple11 OR ((triple10 triple12) -> rule2) OR ((triple10 ((triple10 triple13) -> rule6)) -> rule2) OR ((triple10 ((triple13 triple14) -> rule7)) -> rule2))] Erin is nice.[(triple12 OR ((triple10 triple13) -> rule6) OR ((triple13 triple14) -> rule7) OR ((triple10 ((((triple11 triple15) -> rule5)) -> rule8)) -> rule6) OR ((((((triple11 triple15) -> rule5)) -> rule8) triple14) -> rule7) OR ((triple10 ((((triple11 ((triple11) -> rule3)) -> rule5)) -> rule8)) -> rule6) OR ((((((triple11 ((triple11) -> rule3)) -> rule5)) -> rule8) triple14) -> rule7))] Erin is red.[(triple13 OR ((((triple11 triple15) -> rule5)) -> rule8) OR ((((triple11 ((triple11) -> rule3)) -> rule5)) -> rule8) OR ((((triple11 ((triple12) -> rule4)) -> rule5)) -> rule8) OR ((((((triple10 triple12) -> rule2) triple15) -> rule5)) -> rule8) OR ((((((triple10 triple12) -> rule2) ((triple11) -> rule3)) -> rule5)) -> rule8) OR ((((((triple10 triple12) -> rule2) ((triple12) -> rule4)) -> rule5)) -> rule8) OR ((((triple11 ((((triple10 triple12) -> rule2)) -> rule3)) -> rule5)) -> rule8) OR ((((((triple10 triple12) -> rule2) ((((triple10 triple12) -> rule2)) -> rule3)) -> rule5)) -> rule8))] Erin is round.[(triple14)] Erin is white.[(triple15 OR ((triple11) -> rule3) OR ((triple12) -> rule4) OR ((((triple10 triple12) -> rule2)) -> rule3) OR ((((triple10 triple13) -> rule6)) -> rule4) OR ((((triple13 triple14) -> rule7)) -> rule4) OR ((((triple10 ((triple10 triple13) -> rule6)) -> rule2)) -> rule3) OR ((((triple10 ((triple13 triple14) -> rule7)) -> rule2)) -> rule3))] @1: Charlie is white.[(((triple9) -> rule3))] Erin is rough.[(((triple11 triple15) -> rule5) OR ((triple11 ((triple11) -> rule3)) -> rule5) OR ((triple11 ((triple12) -> rule4)) -> rule5) OR ((((triple10 triple12) -> rule2) triple15) -> rule5) OR ((((triple10 triple12) -> rule2) ((triple11) -> rule3)) -> rule5) OR ((((triple10 triple12) -> rule2) ((triple12) -> rule4)) -> rule5) OR ((triple11 ((((triple10 triple12) -> rule2)) -> rule3)) -> rule5) OR ((triple11 ((((triple10 triple13) -> rule6)) -> rule4)) -> rule5) OR ((triple11 ((((triple13 triple14) -> rule7)) -> rule4)) -> rule5) OR ((((triple10 ((triple10 triple13) -> rule6)) -> rule2) triple15) -> rule5) OR ((((triple10 ((triple13 triple14) -> rule7)) -> rule2) triple15) -> rule5) OR ((((triple10 triple12) -> rule2) ((((triple10 triple12) -> rule2)) -> rule3)) -> rule5) OR ((((triple10 triple12) -> rule2) ((((triple10 triple13) -> rule6)) -> rule4)) -> rule5) OR ((((triple10 triple12) -> rule2) ((((triple13 triple14) -> rule7)) -> rule4)) -> rule5) OR ((((triple10 ((triple10 triple13) -> rule6)) -> rule2) ((triple11) -> rule3)) -> rule5) OR ((((triple10 ((triple10 triple13) -> rule6)) -> rule2) ((triple12) -> rule4)) -> rule5) OR ((((triple10 ((triple13 triple14) -> rule7)) -> rule2) ((triple11) -> rule3)) -> rule5) OR ((((triple10 ((triple13 triple14) -> rule7)) -> rule2) ((triple12) -> rule4)) -> rule5) OR ((((triple10 ((triple10 triple13) -> rule6)) -> rule2) ((((triple10 triple12) -> rule2)) -> rule3)) -> rule5) OR ((((triple10 ((triple10 triple13) -> rule6)) -> rule2) ((((triple10 triple13) -> rule6)) -> rule4)) -> rule5) OR ((((triple10 ((triple10 triple13) -> rule6)) -> rule2) ((((triple13 triple14) -> rule7)) -> rule4)) -> rule5) OR ((((triple10 ((triple13 triple14) -> rule7)) -> rule2) ((((triple10 triple12) -> rule2)) -> rule3)) -> rule5) OR ((((triple10 ((triple13 triple14) -> rule7)) -> rule2) ((((triple10 triple13) -> rule6)) -> rule4)) -> rule5) OR ((((triple10 ((triple13 triple14) -> rule7)) -> rule2) ((((triple13 triple14) -> rule7)) -> rule4)) -> rule5) OR ((triple11 ((((triple10 ((triple10 triple13) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((triple11 ((((triple10 ((triple13 triple14) -> rule7)) -> rule2)) -> rule3)) -> rule5) OR ((((triple10 triple12) -> rule2) ((((triple10 ((triple10 triple13) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((((triple10 triple12) -> rule2) ((((triple10 ((triple13 triple14) -> rule7)) -> rule2)) -> rule3)) -> rule5) OR ((((triple10 ((triple10 triple13) -> rule6)) -> rule2) ((((triple10 ((triple10 triple13) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((((triple10 ((triple10 triple13) -> rule6)) -> rule2) ((((triple10 ((triple13 triple14) -> rule7)) -> rule2)) -> rule3)) -> rule5) OR ((((triple10 ((triple13 triple14) -> rule7)) -> rule2) ((((triple10 ((triple10 triple13) -> rule6)) -> rule2)) -> rule3)) -> rule5) OR ((((triple10 ((triple13 triple14) -> rule7)) -> rule2) ((((triple10 ((triple13 triple14) -> rule7)) -> rule2)) -> rule3)) -> rule5))] @2: Charlie is rough.[(((triple9 ((triple9) -> rule3)) -> rule5))] @3: Charlie is red.[(((((triple9 ((triple9) -> rule3)) -> rule5)) -> rule8))] @4: Charlie is nice.[(((triple8 ((((triple9 ((triple9) -> rule3)) -> rule5)) -> rule8)) -> rule6))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
((triple7) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple1 triple3) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((((triple3) -> (rule4 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((triple1 ((triple1 triple4) -> (rule6 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((triple1 ((triple4 triple6) -> (rule7 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((((triple1 triple4) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple4 triple6) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((triple1 ((triple1 ((triple5) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((triple1 ((((triple5) -> (rule8 % int3)) triple6) -> (rule7 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((((triple1 ((triple5) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((((((triple5) -> (rule8 % int4)) triple6) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
triple3
((triple1 triple4) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple4 triple6) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple1 ((triple5) -> (rule8 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((triple5) -> (rule8 % int2)) triple6) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((triple1 ((((triple2 triple7) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((triple2 triple7) -> (rule5 % int3))) -> (rule8 % int2)) triple6) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((triple1 ((((triple2 ((triple2) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((triple1 ((((((triple7) -> (rule1 % int4)) triple7) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple2 ((triple2) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) triple6) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((((triple7) -> (rule1 % int4)) triple7) -> (rule5 % int3))) -> (rule8 % int2)) triple6) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((triple1 ((((((triple7) -> (rule1 % int5)) ((triple2) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
((((((((triple7) -> (rule1 % int5)) ((triple2) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) triple6) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
Anne is red.
("Anne" "is" "red" "+")
triple4
((triple5) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((((triple2 triple7) -> (rule5 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((triple2 ((triple2) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((triple2 ((triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((((triple7) -> (rule1 % int3)) triple7) -> (rule5 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple1 triple3) -> (rule2 % int3)) triple7) -> (rule5 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple7) -> (rule1 % int4)) ((triple2) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple7) -> (rule1 % int4)) ((triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple1 triple3) -> (rule2 % int4)) ((triple2) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple1 triple3) -> (rule2 % int4)) ((triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple2 ((((triple1 triple3) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((((triple3) -> (rule4 % int4))) -> (rule1 % int3)) triple7) -> (rule5 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple7) -> (rule1 % int4)) ((((triple1 triple3) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((((triple3) -> (rule4 % int4))) -> (rule1 % int3)) ((triple2) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((((triple3) -> (rule4 % int4))) -> (rule1 % int3)) ((triple3) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple1 triple3) -> (rule2 % int4)) ((((triple1 triple3) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((((triple3) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple1 triple3) -> (rule2 % int3))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
((triple2 triple7) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((triple2 ((triple2) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((triple2 ((triple3) -> (rule4 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((triple7) -> (rule1 % int2)) triple7) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple1 triple3) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple7) -> (rule1 % int3)) ((triple2) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((triple7) -> (rule1 % int3)) ((triple3) -> (rule4 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((triple1 triple3) -> (rule2 % int3)) ((triple2) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((triple1 triple3) -> (rule2 % int3)) ((triple3) -> (rule4 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((triple2 ((((triple1 triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((triple2 ((((triple1 triple4) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((triple2 ((((triple4 triple6) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple3) -> (rule4 % int3))) -> (rule1 % int2)) triple7) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((triple1 ((triple1 triple4) -> (rule6 % int3))) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((triple1 ((triple4 triple6) -> (rule7 % int3))) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((triple7) -> (rule1 % int3)) ((((triple1 triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((triple7) -> (rule1 % int4)) ((((triple1 triple4) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple7) -> (rule1 % int4)) ((((triple4 triple6) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple3) -> (rule4 % int3))) -> (rule1 % int2)) ((triple2) -> (rule3 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((((triple3) -> (rule4 % int3))) -> (rule1 % int2)) ((triple3) -> (rule4 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((triple1 triple3) -> (rule2 % int3)) ((((triple1 triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((triple1 triple3) -> (rule2 % int4)) ((((triple1 triple4) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple1 triple3) -> (rule2 % int4)) ((((triple4 triple6) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple1 ((triple1 triple4) -> (rule6 % int4))) -> (rule2 % int3)) ((triple2) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple1 ((triple1 triple4) -> (rule6 % int4))) -> (rule2 % int3)) ((triple3) -> (rule4 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple1 ((triple4 triple6) -> (rule7 % int4))) -> (rule2 % int3)) ((triple2) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple1 ((triple4 triple6) -> (rule7 % int4))) -> (rule2 % int3)) ((triple3) -> (rule4 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple3) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple1 triple3) -> (rule2 % int2))) -> (rule3 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((((triple3) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple1 triple4) -> (rule6 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple3) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple4 triple6) -> (rule7 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((triple1 ((triple1 triple4) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple1 triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple1 ((triple1 triple4) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple1 triple4) -> (rule6 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple1 ((triple1 triple4) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple4 triple6) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple1 ((triple4 triple6) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple1 triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple1 ((triple4 triple6) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple1 triple4) -> (rule6 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple1 ((triple4 triple6) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple4 triple6) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((triple2 ((((triple1 ((triple1 triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((triple2 ((((triple1 ((triple4 triple6) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple1 triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) triple7) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple4 triple6) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) triple7) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple7) -> (rule1 % int4)) ((((triple1 ((triple1 triple4) -> (rule6 % int3))) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple7) -> (rule1 % int4)) ((((triple1 ((triple4 triple6) -> (rule7 % int3))) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((((triple1 triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((triple2) -> (rule3 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple1 triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((triple3) -> (rule4 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple4 triple6) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((triple2) -> (rule3 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple4 triple6) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((triple3) -> (rule4 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple1 triple3) -> (rule2 % int4)) ((((triple1 ((triple1 triple4) -> (rule6 % int3))) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((triple1 triple3) -> (rule2 % int4)) ((((triple1 ((triple4 triple6) -> (rule7 % int3))) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple3) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple1 ((triple1 triple4) -> (rule6 % int2))) -> (rule2 % int3))) -> (rule3 % int4))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple3) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple1 ((triple4 triple6) -> (rule7 % int2))) -> (rule2 % int3))) -> (rule3 % int4))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((((triple1 triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple1 triple3) -> (rule2 % int2))) -> (rule3 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple1 triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple1 triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple1 triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple4 triple6) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple4 triple6) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple1 triple3) -> (rule2 % int2))) -> (rule3 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple4 triple6) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple1 triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple4 triple6) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple4 triple6) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple1 ((triple1 triple4) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple1 ((triple1 triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple1 ((triple1 triple4) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple1 ((triple4 triple6) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple1 ((triple4 triple6) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple1 ((triple1 triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple1 ((triple4 triple6) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple1 ((triple4 triple6) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple1 triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple1 ((triple1 triple4) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule3 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple1 triple4) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple1 ((triple4 triple6) -> (rule7 % int4))) -> (rule2 % int2))) -> (rule3 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple4 triple6) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple1 ((triple1 triple4) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule3 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple4 triple6) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple1 ((triple4 triple6) -> (rule7 % int4))) -> (rule2 % int2))) -> (rule3 % int3))) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
triple6
Anne is white.
("Anne" "is" "white" "+")
triple7
((triple2) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((triple3) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((((triple1 triple3) -> (rule2 % int2))) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple1 triple4) -> (rule6 % int2))) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((triple4 triple6) -> (rule7 % int2))) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((triple1 ((triple5) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((triple1 ((triple1 triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((triple1 ((triple4 triple6) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple5) -> (rule8 % int3)) triple6) -> (rule7 % int2))) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((triple1 ((triple1 ((triple5) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((triple1 ((((triple5) -> (rule8 % int4)) triple6) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
triple8
Charlie is blue.
("Charlie" "is" "blue" "+")
triple9
Erin is big.
("Erin" "is" "big" "+")
triple10
Erin is blue.
("Erin" "is" "blue" "+")
triple11
((triple10 triple12) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((triple10 ((triple10 triple13) -> (rule6 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((triple10 ((triple13 triple14) -> (rule7 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
triple12
((triple10 triple13) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple13 triple14) -> (rule7 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple10 ((((triple11 triple15) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((((triple11 triple15) -> (rule5 % int3))) -> (rule8 % int2)) triple14) -> (rule7 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((triple10 ((((triple11 ((triple11) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple11 ((triple11) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2)) triple14) -> (rule7 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
triple13
((((triple11 triple15) -> (rule5 % int2))) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((triple11 ((triple11) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((triple11 ((triple12) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((triple10 triple12) -> (rule2 % int3)) triple15) -> (rule5 % int2))) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((((triple10 triple12) -> (rule2 % int4)) ((triple11) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((triple10 triple12) -> (rule2 % int4)) ((triple12) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((triple11 ((((triple10 triple12) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((triple10 triple12) -> (rule2 % int4)) ((((triple10 triple12) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
triple14
Erin is white.
("Erin" "is" "white" "+")
triple15
((triple11) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple12) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple10 triple12) -> (rule2 % int2))) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((triple10 triple13) -> (rule6 % int2))) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((triple13 triple14) -> (rule7 % int2))) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((triple10 ((triple10 triple13) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple10 ((triple13 triple14) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
((triple9) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((triple11 triple15) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((triple11 ((triple11) -> (rule3 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((triple11 ((triple12) -> (rule4 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple10 triple12) -> (rule2 % int2)) triple15) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((triple10 triple12) -> (rule2 % int3)) ((triple11) -> (rule3 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple10 triple12) -> (rule2 % int3)) ((triple12) -> (rule4 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((triple11 ((((triple10 triple12) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((triple11 ((((triple10 triple13) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((triple11 ((((triple13 triple14) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple10 ((triple10 triple13) -> (rule6 % int3))) -> (rule2 % int2)) triple15) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple10 ((triple13 triple14) -> (rule7 % int3))) -> (rule2 % int2)) triple15) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple10 triple12) -> (rule2 % int3)) ((((triple10 triple12) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple10 triple12) -> (rule2 % int4)) ((((triple10 triple13) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((triple10 triple12) -> (rule2 % int4)) ((((triple13 triple14) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((triple10 ((triple10 triple13) -> (rule6 % int4))) -> (rule2 % int3)) ((triple11) -> (rule3 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple10 ((triple10 triple13) -> (rule6 % int4))) -> (rule2 % int3)) ((triple12) -> (rule4 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple10 ((triple13 triple14) -> (rule7 % int4))) -> (rule2 % int3)) ((triple11) -> (rule3 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple10 ((triple13 triple14) -> (rule7 % int4))) -> (rule2 % int3)) ((triple12) -> (rule4 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple10 ((triple10 triple13) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple10 triple12) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple10 ((triple10 triple13) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple10 triple13) -> (rule6 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple10 ((triple10 triple13) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple13 triple14) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple10 ((triple13 triple14) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple10 triple12) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple10 ((triple13 triple14) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple10 triple13) -> (rule6 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple10 ((triple13 triple14) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple13 triple14) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((triple11 ((((triple10 ((triple10 triple13) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((triple11 ((((triple10 ((triple13 triple14) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple10 triple12) -> (rule2 % int4)) ((((triple10 ((triple10 triple13) -> (rule6 % int3))) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((triple10 triple12) -> (rule2 % int4)) ((((triple10 ((triple13 triple14) -> (rule7 % int3))) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((triple10 ((triple10 triple13) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple10 ((triple10 triple13) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple10 ((triple10 triple13) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple10 ((triple13 triple14) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple10 ((triple13 triple14) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple10 ((triple10 triple13) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple10 ((triple13 triple14) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple10 ((triple13 triple14) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple9 ((triple9) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
((((triple9 ((triple9) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple8 ((((triple9 ((triple9) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4