Anne is blue. Anne is white. Charlie is white. Erin is red. Erin is white. Gary is green. Gary is red. All white, kind people are red. Blue people are green. All green, nice people are rough. All nice people are green. All white people are nice. Blue people are nice. If Charlie is blue and Charlie is nice then Charlie is red. Rough people are kind. Green, rough people are kind.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
All white, kind people are red.
((("someone" "is" "white" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
Blue people are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
All green, nice people are rough.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
All nice people are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
All white people are nice.
((("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
Blue people are nice.
((("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If Charlie is blue and Charlie is nice then Charlie is red.
((("Charlie" "is" "blue" "+") ("Charlie" "is" "nice" "+")) -> ("Charlie" "is" "red" "+"))
Rough people are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Green, rough people are kind.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Erin is white.
True
1
proof
[(triple5)]
("Erin" "is" "white" "+")
triple5
Erin is not white.
False
1
inv-proof
[(triple5)]
("Erin" "is" "white" "-")
triple5
Anne is nice.
True
2
proof
[(((triple1) -> rule6) OR ((triple2) -> rule5))]
("Anne" "is" "nice" "+")
((triple1) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple2) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is not green.
False
2
inv-proof
[(((triple1) -> rule2) OR ((((triple1) -> rule6)) -> rule4) OR ((((triple2) -> rule5)) -> rule4))]
("Anne" "is" "green" "-")
((triple1) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((((triple1) -> (rule6 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((triple2) -> (rule5 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is rough.
True
5
proof
[(((((triple1) -> rule2) ((triple1) -> rule6)) -> rule3) OR ((((triple1) -> rule2) ((triple2) -> rule5)) -> rule3) OR ((((((triple1) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule3) OR ((((((triple1) -> rule6)) -> rule4) ((triple2) -> rule5)) -> rule3) OR ((((((triple2) -> rule5)) -> rule4) ((triple1) -> rule6)) -> rule3) OR ((((((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule3))]
("Anne" "is" "rough" "+")
((((triple1) -> (rule2 % int3)) ((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple1) -> (rule2 % int3)) ((triple2) -> (rule5 % int2))) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((((triple1) -> (rule6 % int3))) -> (rule4 % int2)) ((triple1) -> (rule6 % int3))) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple1) -> (rule6 % int3))) -> (rule4 % int2)) ((triple2) -> (rule5 % int3))) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple2) -> (rule5 % int3))) -> (rule4 % int2)) ((triple1) -> (rule6 % int3))) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple2) -> (rule5 % int3))) -> (rule4 % int2)) ((triple2) -> (rule5 % int3))) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Charlie is not green.
False
3
inv-proof
[(((((triple3) -> rule5)) -> rule4))]
("Charlie" "is" "green" "-")
((((triple3) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Anne is kind.
True
6
proof
[(((((((triple1) -> rule2) ((triple1) -> rule6)) -> rule3)) -> rule8) OR ((((((triple1) -> rule2) ((triple2) -> rule5)) -> rule3)) -> rule8) OR ((((triple1) -> rule2) ((((triple1) -> rule2) ((triple1) -> rule6)) -> rule3)) -> rule9) OR ((((triple1) -> rule2) ((((triple1) -> rule2) ((triple2) -> rule5)) -> rule3)) -> rule9) OR ((((((triple1) -> rule6)) -> rule4) ((((triple1) -> rule2) ((triple1) -> rule6)) -> rule3)) -> rule9) OR ((((((triple1) -> rule6)) -> rule4) ((((triple1) -> rule2) ((triple2) -> rule5)) -> rule3)) -> rule9) OR ((((((triple2) -> rule5)) -> rule4) ((((triple1) -> rule2) ((triple1) -> rule6)) -> rule3)) -> rule9) OR ((((((triple2) -> rule5)) -> rule4) ((((triple1) -> rule2) ((triple2) -> rule5)) -> rule3)) -> rule9) OR ((((((((triple1) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule3)) -> rule8) OR ((((((((triple1) -> rule6)) -> rule4) ((triple2) -> rule5)) -> rule3)) -> rule8) OR ((((((((triple2) -> rule5)) -> rule4) ((triple1) -> rule6)) -> rule3)) -> rule8) OR ((((((((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule3)) -> rule8) OR ((((triple1) -> rule2) ((((((triple1) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule3)) -> rule9) OR ((((triple1) -> rule2) ((((((triple1) -> rule6)) -> rule4) ((triple2) -> rule5)) -> rule3)) -> rule9) OR ((((triple1) -> rule2) ((((((triple2) -> rule5)) -> rule4) ((triple1) -> rule6)) -> rule3)) -> rule9) OR ((((triple1) -> rule2) ((((((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule3)) -> rule9) OR ((((((triple1) -> rule6)) -> rule4) ((((((triple1) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule3)) -> rule9) OR ((((((triple1) -> rule6)) -> rule4) ((((((triple1) -> rule6)) -> rule4) ((triple2) -> rule5)) -> rule3)) -> rule9) OR ((((((triple1) -> rule6)) -> rule4) ((((((triple2) -> rule5)) -> rule4) ((triple1) -> rule6)) -> rule3)) -> rule9) OR ((((((triple1) -> rule6)) -> rule4) ((((((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule3)) -> rule9) OR ((((((triple2) -> rule5)) -> rule4) ((((((triple1) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule3)) -> rule9) OR ((((((triple2) -> rule5)) -> rule4) ((((((triple1) -> rule6)) -> rule4) ((triple2) -> rule5)) -> rule3)) -> rule9) OR ((((((triple2) -> rule5)) -> rule4) ((((((triple2) -> rule5)) -> rule4) ((triple1) -> rule6)) -> rule3)) -> rule9) OR ((((((triple2) -> rule5)) -> rule4) ((((((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule3)) -> rule9))]
("Anne" "is" "kind" "+")
((((((triple1) -> (rule2 % int4)) ((triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple1) -> (rule2 % int4)) ((triple2) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((triple1) -> (rule2 % int4)) ((((triple1) -> (rule2 % int4)) ((triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((triple1) -> (rule2 % int4)) ((((triple1) -> (rule2 % int4)) ((triple2) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple1) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple1) -> (rule2 % int3)) ((triple1) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple1) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple1) -> (rule2 % int3)) ((triple2) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple2) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple1) -> (rule2 % int3)) ((triple1) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple2) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple1) -> (rule2 % int3)) ((triple2) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple1) -> (rule6 % int4))) -> (rule4 % int3)) ((triple1) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple1) -> (rule6 % int4))) -> (rule4 % int3)) ((triple2) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple2) -> (rule5 % int4))) -> (rule4 % int3)) ((triple1) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple2) -> (rule5 % int4))) -> (rule4 % int3)) ((triple2) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple1) -> (rule2 % int4)) ((((((triple1) -> (rule6 % int3))) -> (rule4 % int4)) ((triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((triple1) -> (rule2 % int4)) ((((((triple1) -> (rule6 % int3))) -> (rule4 % int4)) ((triple2) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((triple1) -> (rule2 % int4)) ((((((triple2) -> (rule5 % int3))) -> (rule4 % int4)) ((triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((triple1) -> (rule2 % int4)) ((((((triple2) -> (rule5 % int3))) -> (rule4 % int4)) ((triple2) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple1) -> (rule6 % int4))) -> (rule4 % int3)) ((((((triple1) -> (rule6 % int4))) -> (rule4 % int3)) ((triple1) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple1) -> (rule6 % int4))) -> (rule4 % int3)) ((((((triple1) -> (rule6 % int4))) -> (rule4 % int3)) ((triple2) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple1) -> (rule6 % int4))) -> (rule4 % int3)) ((((((triple2) -> (rule5 % int4))) -> (rule4 % int3)) ((triple1) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple1) -> (rule6 % int4))) -> (rule4 % int3)) ((((((triple2) -> (rule5 % int4))) -> (rule4 % int3)) ((triple2) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple2) -> (rule5 % int4))) -> (rule4 % int3)) ((((((triple1) -> (rule6 % int4))) -> (rule4 % int3)) ((triple1) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple2) -> (rule5 % int4))) -> (rule4 % int3)) ((((((triple1) -> (rule6 % int4))) -> (rule4 % int3)) ((triple2) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple2) -> (rule5 % int4))) -> (rule4 % int3)) ((((((triple2) -> (rule5 % int4))) -> (rule4 % int3)) ((triple1) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple2) -> (rule5 % int4))) -> (rule4 % int3)) ((((((triple2) -> (rule5 % int4))) -> (rule4 % int3)) ((triple2) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Erin is not rough.
False
6
inv-proof
[(((((((triple5) -> rule5)) -> rule4) ((triple5) -> rule5)) -> rule3))]
("Erin" "is" "rough" "-")
((((((triple5) -> (rule5 % int3))) -> (rule4 % int2)) ((triple5) -> (rule5 % int3))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Charlie is kind.
True
7
proof
[(((((((((triple3) -> rule5)) -> rule4) ((triple3) -> rule5)) -> rule3)) -> rule8) OR ((((((triple3) -> rule5)) -> rule4) ((((((triple3) -> rule5)) -> rule4) ((triple3) -> rule5)) -> rule3)) -> rule9))]
("Charlie" "is" "kind" "+")
((((((((triple3) -> (rule5 % int4))) -> (rule4 % int3)) ((triple3) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule5 % int4))) -> (rule4 % int3)) ((((((triple3) -> (rule5 % int4))) -> (rule4 % int3)) ((triple3) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule9 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Anne is not red.
False
8
inv-proof
[(((triple2 ((((((triple1) -> rule2) ((triple1) -> rule6)) -> rule3)) -> rule8)) -> rule1) OR ((triple2 ((((((triple1) -> rule2) ((triple2) -> rule5)) -> rule3)) -> rule8)) -> rule1) OR ((triple2 ((((triple1) -> rule2) ((((triple1) -> rule2) ((triple1) -> rule6)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((triple1) -> rule2) ((((triple1) -> rule2) ((triple2) -> rule5)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((((triple1) -> rule6)) -> rule4) ((((triple1) -> rule2) ((triple1) -> rule6)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((((triple1) -> rule6)) -> rule4) ((((triple1) -> rule2) ((triple2) -> rule5)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((((triple2) -> rule5)) -> rule4) ((((triple1) -> rule2) ((triple1) -> rule6)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((((triple2) -> rule5)) -> rule4) ((((triple1) -> rule2) ((triple2) -> rule5)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((((((triple1) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule3)) -> rule8)) -> rule1) OR ((triple2 ((((((((triple1) -> rule6)) -> rule4) ((triple2) -> rule5)) -> rule3)) -> rule8)) -> rule1) OR ((triple2 ((((((((triple2) -> rule5)) -> rule4) ((triple1) -> rule6)) -> rule3)) -> rule8)) -> rule1) OR ((triple2 ((((((((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule3)) -> rule8)) -> rule1) OR ((triple2 ((((triple1) -> rule2) ((((((triple1) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((triple1) -> rule2) ((((((triple1) -> rule6)) -> rule4) ((triple2) -> rule5)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((triple1) -> rule2) ((((((triple2) -> rule5)) -> rule4) ((triple1) -> rule6)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((triple1) -> rule2) ((((((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((((triple1) -> rule6)) -> rule4) ((((((triple1) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((((triple1) -> rule6)) -> rule4) ((((((triple1) -> rule6)) -> rule4) ((triple2) -> rule5)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((((triple1) -> rule6)) -> rule4) ((((((triple2) -> rule5)) -> rule4) ((triple1) -> rule6)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((((triple1) -> rule6)) -> rule4) ((((((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((((triple2) -> rule5)) -> rule4) ((((((triple1) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((((triple2) -> rule5)) -> rule4) ((((((triple1) -> rule6)) -> rule4) ((triple2) -> rule5)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((((triple2) -> rule5)) -> rule4) ((((((triple2) -> rule5)) -> rule4) ((triple1) -> rule6)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((((triple2) -> rule5)) -> rule4) ((((((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule3)) -> rule9)) -> rule1))]
("Anne" "is" "red" "-")
((triple2 ((((((triple1) -> (rule2 % int5)) ((triple1) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((triple2 ((((((triple1) -> (rule2 % int5)) ((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((triple2 ((((triple1) -> (rule2 % int5)) ((((triple1) -> (rule2 % int5)) ((triple1) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((triple2 ((((triple1) -> (rule2 % int5)) ((((triple1) -> (rule2 % int5)) ((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((triple2 ((((((triple1) -> (rule6 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule2 % int4)) ((triple1) -> (rule6 % int5))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple2 ((((((triple1) -> (rule6 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule2 % int4)) ((triple2) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple2 ((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule2 % int4)) ((triple1) -> (rule6 % int5))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple2 ((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule2 % int4)) ((triple2) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple2 ((((((((triple1) -> (rule6 % int5))) -> (rule4 % int4)) ((triple1) -> (rule6 % int5))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple2 ((((((((triple1) -> (rule6 % int5))) -> (rule4 % int4)) ((triple2) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple2 ((((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) ((triple1) -> (rule6 % int5))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple2 ((((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) ((triple2) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple2 ((((triple1) -> (rule2 % int5)) ((((((triple1) -> (rule6 % int4))) -> (rule4 % int5)) ((triple1) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((triple2 ((((triple1) -> (rule2 % int5)) ((((((triple1) -> (rule6 % int4))) -> (rule4 % int5)) ((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((triple2 ((((triple1) -> (rule2 % int5)) ((((((triple2) -> (rule5 % int4))) -> (rule4 % int5)) ((triple1) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((triple2 ((((triple1) -> (rule2 % int5)) ((((((triple2) -> (rule5 % int4))) -> (rule4 % int5)) ((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((triple2 ((((((triple1) -> (rule6 % int5))) -> (rule4 % int4)) ((((((triple1) -> (rule6 % int5))) -> (rule4 % int4)) ((triple1) -> (rule6 % int5))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple2 ((((((triple1) -> (rule6 % int5))) -> (rule4 % int4)) ((((((triple1) -> (rule6 % int5))) -> (rule4 % int4)) ((triple2) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple2 ((((((triple1) -> (rule6 % int5))) -> (rule4 % int4)) ((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) ((triple1) -> (rule6 % int5))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple2 ((((((triple1) -> (rule6 % int5))) -> (rule4 % int4)) ((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) ((triple2) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple2 ((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) ((((((triple1) -> (rule6 % int5))) -> (rule4 % int4)) ((triple1) -> (rule6 % int5))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple2 ((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) ((((((triple1) -> (rule6 % int5))) -> (rule4 % int4)) ((triple2) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple2 ((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) ((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) ((triple1) -> (rule6 % int5))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple2 ((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) ((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) ((triple2) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Charlie is red.
True
9
proof
[(((triple3 ((((((((triple3) -> rule5)) -> rule4) ((triple3) -> rule5)) -> rule3)) -> rule8)) -> rule1) OR ((triple3 ((((((triple3) -> rule5)) -> rule4) ((((((triple3) -> rule5)) -> rule4) ((triple3) -> rule5)) -> rule3)) -> rule9)) -> rule1))]
("Charlie" "is" "red" "+")
((triple3 ((((((((triple3) -> (rule5 % int5))) -> (rule4 % int4)) ((triple3) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule5 % int5))) -> (rule4 % int4)) ((((((triple3) -> (rule5 % int5))) -> (rule4 % int4)) ((triple3) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
Charlie is not red.
False
9
inv-proof
[(((triple3 ((((((((triple3) -> rule5)) -> rule4) ((triple3) -> rule5)) -> rule3)) -> rule8)) -> rule1) OR ((triple3 ((((((triple3) -> rule5)) -> rule4) ((((((triple3) -> rule5)) -> rule4) ((triple3) -> rule5)) -> rule3)) -> rule9)) -> rule1))]
("Charlie" "is" "red" "-")
((triple3 ((((((((triple3) -> (rule5 % int5))) -> (rule4 % int4)) ((triple3) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule5 % int5))) -> (rule4 % int4)) ((((((triple3) -> (rule5 % int5))) -> (rule4 % int4)) ((triple3) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "nice" "-")
Gary is rough.
Unknown
rconc
[@2: Gary is rough.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Gary" "is" "rough" "+")
Gary is not kind.
Unknown
inv-rconc
[@3: Gary is kind.[CWA. Example of deepest failure = (rule8 <- rule3 <- rule5 <- FAIL)]]
("Gary" "is" "kind" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Anne is blue.[(triple1)] Anne is white.[(triple2)] Charlie is white.[(triple3)] Erin is red.[(triple4 OR ((triple5 ((((((((triple5) -> rule5)) -> rule4) ((triple5) -> rule5)) -> rule3)) -> rule8)) -> rule1) OR ((triple5 ((((((triple5) -> rule5)) -> rule4) ((((((triple5) -> rule5)) -> rule4) ((triple5) -> rule5)) -> rule3)) -> rule9)) -> rule1))] Erin is white.[(triple5)] Gary is green.[(triple6)] Gary is red.[(triple7)] @1: Anne is green.[(((triple1) -> rule2) OR ((((triple1) -> rule6)) -> rule4) OR ((((triple2) -> rule5)) -> rule4))] Anne is nice.[(((triple1) -> rule6) OR ((triple2) -> rule5))] Charlie is nice.[(((triple3) -> rule5))] Erin is nice.[(((triple5) -> rule5))] @2: Anne is rough.[(((((triple1) -> rule2) ((triple1) -> rule6)) -> rule3) OR ((((triple1) -> rule2) ((triple2) -> rule5)) -> rule3) OR ((((((triple1) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule3) OR ((((((triple1) -> rule6)) -> rule4) ((triple2) -> rule5)) -> rule3) OR ((((((triple2) -> rule5)) -> rule4) ((triple1) -> rule6)) -> rule3) OR ((((((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule3))] Charlie is green.[(((((triple3) -> rule5)) -> rule4))] Erin is green.[(((((triple5) -> rule5)) -> rule4))] @3: Anne is kind.[(((((((triple1) -> rule2) ((triple1) -> rule6)) -> rule3)) -> rule8) OR ((((((triple1) -> rule2) ((triple2) -> rule5)) -> rule3)) -> rule8) OR ((((triple1) -> rule2) ((((triple1) -> rule2) ((triple1) -> rule6)) -> rule3)) -> rule9) OR ((((triple1) -> rule2) ((((triple1) -> rule2) ((triple2) -> rule5)) -> rule3)) -> rule9) OR ((((((triple1) -> rule6)) -> rule4) ((((triple1) -> rule2) ((triple1) -> rule6)) -> rule3)) -> rule9) OR ((((((triple1) -> rule6)) -> rule4) ((((triple1) -> rule2) ((triple2) -> rule5)) -> rule3)) -> rule9) OR ((((((triple2) -> rule5)) -> rule4) ((((triple1) -> rule2) ((triple1) -> rule6)) -> rule3)) -> rule9) OR ((((((triple2) -> rule5)) -> rule4) ((((triple1) -> rule2) ((triple2) -> rule5)) -> rule3)) -> rule9) OR ((((((((triple1) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule3)) -> rule8) OR ((((((((triple1) -> rule6)) -> rule4) ((triple2) -> rule5)) -> rule3)) -> rule8) OR ((((((((triple2) -> rule5)) -> rule4) ((triple1) -> rule6)) -> rule3)) -> rule8) OR ((((((((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule3)) -> rule8) OR ((((triple1) -> rule2) ((((((triple1) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule3)) -> rule9) OR ((((triple1) -> rule2) ((((((triple1) -> rule6)) -> rule4) ((triple2) -> rule5)) -> rule3)) -> rule9) OR ((((triple1) -> rule2) ((((((triple2) -> rule5)) -> rule4) ((triple1) -> rule6)) -> rule3)) -> rule9) OR ((((triple1) -> rule2) ((((((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule3)) -> rule9) OR ((((((triple1) -> rule6)) -> rule4) ((((((triple1) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule3)) -> rule9) OR ((((((triple1) -> rule6)) -> rule4) ((((((triple1) -> rule6)) -> rule4) ((triple2) -> rule5)) -> rule3)) -> rule9) OR ((((((triple1) -> rule6)) -> rule4) ((((((triple2) -> rule5)) -> rule4) ((triple1) -> rule6)) -> rule3)) -> rule9) OR ((((((triple1) -> rule6)) -> rule4) ((((((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule3)) -> rule9) OR ((((((triple2) -> rule5)) -> rule4) ((((((triple1) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule3)) -> rule9) OR ((((((triple2) -> rule5)) -> rule4) ((((((triple1) -> rule6)) -> rule4) ((triple2) -> rule5)) -> rule3)) -> rule9) OR ((((((triple2) -> rule5)) -> rule4) ((((((triple2) -> rule5)) -> rule4) ((triple1) -> rule6)) -> rule3)) -> rule9) OR ((((((triple2) -> rule5)) -> rule4) ((((((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule3)) -> rule9))] Charlie is rough.[(((((((triple3) -> rule5)) -> rule4) ((triple3) -> rule5)) -> rule3))] Erin is rough.[(((((((triple5) -> rule5)) -> rule4) ((triple5) -> rule5)) -> rule3))] @4: Anne is red.[(((triple2 ((((((triple1) -> rule2) ((triple1) -> rule6)) -> rule3)) -> rule8)) -> rule1) OR ((triple2 ((((((triple1) -> rule2) ((triple2) -> rule5)) -> rule3)) -> rule8)) -> rule1) OR ((triple2 ((((triple1) -> rule2) ((((triple1) -> rule2) ((triple1) -> rule6)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((triple1) -> rule2) ((((triple1) -> rule2) ((triple2) -> rule5)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((((triple1) -> rule6)) -> rule4) ((((triple1) -> rule2) ((triple1) -> rule6)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((((triple1) -> rule6)) -> rule4) ((((triple1) -> rule2) ((triple2) -> rule5)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((((triple2) -> rule5)) -> rule4) ((((triple1) -> rule2) ((triple1) -> rule6)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((((triple2) -> rule5)) -> rule4) ((((triple1) -> rule2) ((triple2) -> rule5)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((((((triple1) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule3)) -> rule8)) -> rule1) OR ((triple2 ((((((((triple1) -> rule6)) -> rule4) ((triple2) -> rule5)) -> rule3)) -> rule8)) -> rule1) OR ((triple2 ((((((((triple2) -> rule5)) -> rule4) ((triple1) -> rule6)) -> rule3)) -> rule8)) -> rule1) OR ((triple2 ((((((((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule3)) -> rule8)) -> rule1) OR ((triple2 ((((triple1) -> rule2) ((((((triple1) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((triple1) -> rule2) ((((((triple1) -> rule6)) -> rule4) ((triple2) -> rule5)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((triple1) -> rule2) ((((((triple2) -> rule5)) -> rule4) ((triple1) -> rule6)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((triple1) -> rule2) ((((((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((((triple1) -> rule6)) -> rule4) ((((((triple1) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((((triple1) -> rule6)) -> rule4) ((((((triple1) -> rule6)) -> rule4) ((triple2) -> rule5)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((((triple1) -> rule6)) -> rule4) ((((((triple2) -> rule5)) -> rule4) ((triple1) -> rule6)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((((triple1) -> rule6)) -> rule4) ((((((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((((triple2) -> rule5)) -> rule4) ((((((triple1) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((((triple2) -> rule5)) -> rule4) ((((((triple1) -> rule6)) -> rule4) ((triple2) -> rule5)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((((triple2) -> rule5)) -> rule4) ((((((triple2) -> rule5)) -> rule4) ((triple1) -> rule6)) -> rule3)) -> rule9)) -> rule1) OR ((triple2 ((((((triple2) -> rule5)) -> rule4) ((((((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule3)) -> rule9)) -> rule1))] Charlie is kind.[(((((((((triple3) -> rule5)) -> rule4) ((triple3) -> rule5)) -> rule3)) -> rule8) OR ((((((triple3) -> rule5)) -> rule4) ((((((triple3) -> rule5)) -> rule4) ((triple3) -> rule5)) -> rule3)) -> rule9))] Erin is kind.[(((((((((triple5) -> rule5)) -> rule4) ((triple5) -> rule5)) -> rule3)) -> rule8) OR ((((((triple5) -> rule5)) -> rule4) ((((((triple5) -> rule5)) -> rule4) ((triple5) -> rule5)) -> rule3)) -> rule9))] @5: Charlie is red.[(((triple3 ((((((((triple3) -> rule5)) -> rule4) ((triple3) -> rule5)) -> rule3)) -> rule8)) -> rule1) OR ((triple3 ((((((triple3) -> rule5)) -> rule4) ((((((triple3) -> rule5)) -> rule4) ((triple3) -> rule5)) -> rule3)) -> rule9)) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Charlie is white.
("Charlie" "is" "white" "+")
triple3
Erin is red.
("Erin" "is" "red" "+")
triple4
((triple5 ((((((((triple5) -> (rule5 % int5))) -> (rule4 % int4)) ((triple5) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((triple5 ((((((triple5) -> (rule5 % int5))) -> (rule4 % int4)) ((((((triple5) -> (rule5 % int5))) -> (rule4 % int4)) ((triple5) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is white.
("Erin" "is" "white" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple7
Anne is green.
("Anne" "is" "green" "+")
((triple1) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((((triple1) -> (rule6 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((triple2) -> (rule5 % int2))) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
((triple1) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple2) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple3) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((triple5) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((((triple1) -> (rule2 % int3)) ((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple1) -> (rule2 % int3)) ((triple2) -> (rule5 % int2))) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((((triple1) -> (rule6 % int3))) -> (rule4 % int2)) ((triple1) -> (rule6 % int3))) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple1) -> (rule6 % int3))) -> (rule4 % int2)) ((triple2) -> (rule5 % int3))) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple2) -> (rule5 % int3))) -> (rule4 % int2)) ((triple1) -> (rule6 % int3))) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple2) -> (rule5 % int3))) -> (rule4 % int2)) ((triple2) -> (rule5 % int3))) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
((((triple3) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
((((triple5) -> (rule5 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
((((((triple1) -> (rule2 % int4)) ((triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple1) -> (rule2 % int4)) ((triple2) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((triple1) -> (rule2 % int4)) ((((triple1) -> (rule2 % int4)) ((triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((triple1) -> (rule2 % int4)) ((((triple1) -> (rule2 % int4)) ((triple2) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple1) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple1) -> (rule2 % int3)) ((triple1) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple1) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple1) -> (rule2 % int3)) ((triple2) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple2) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple1) -> (rule2 % int3)) ((triple1) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple2) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple1) -> (rule2 % int3)) ((triple2) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple1) -> (rule6 % int4))) -> (rule4 % int3)) ((triple1) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple1) -> (rule6 % int4))) -> (rule4 % int3)) ((triple2) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple2) -> (rule5 % int4))) -> (rule4 % int3)) ((triple1) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple2) -> (rule5 % int4))) -> (rule4 % int3)) ((triple2) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple1) -> (rule2 % int4)) ((((((triple1) -> (rule6 % int3))) -> (rule4 % int4)) ((triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((triple1) -> (rule2 % int4)) ((((((triple1) -> (rule6 % int3))) -> (rule4 % int4)) ((triple2) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((triple1) -> (rule2 % int4)) ((((((triple2) -> (rule5 % int3))) -> (rule4 % int4)) ((triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((triple1) -> (rule2 % int4)) ((((((triple2) -> (rule5 % int3))) -> (rule4 % int4)) ((triple2) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple1) -> (rule6 % int4))) -> (rule4 % int3)) ((((((triple1) -> (rule6 % int4))) -> (rule4 % int3)) ((triple1) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple1) -> (rule6 % int4))) -> (rule4 % int3)) ((((((triple1) -> (rule6 % int4))) -> (rule4 % int3)) ((triple2) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple1) -> (rule6 % int4))) -> (rule4 % int3)) ((((((triple2) -> (rule5 % int4))) -> (rule4 % int3)) ((triple1) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple1) -> (rule6 % int4))) -> (rule4 % int3)) ((((((triple2) -> (rule5 % int4))) -> (rule4 % int3)) ((triple2) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple2) -> (rule5 % int4))) -> (rule4 % int3)) ((((((triple1) -> (rule6 % int4))) -> (rule4 % int3)) ((triple1) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple2) -> (rule5 % int4))) -> (rule4 % int3)) ((((((triple1) -> (rule6 % int4))) -> (rule4 % int3)) ((triple2) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple2) -> (rule5 % int4))) -> (rule4 % int3)) ((((((triple2) -> (rule5 % int4))) -> (rule4 % int3)) ((triple1) -> (rule6 % int4))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple2) -> (rule5 % int4))) -> (rule4 % int3)) ((((((triple2) -> (rule5 % int4))) -> (rule4 % int3)) ((triple2) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
((((((triple3) -> (rule5 % int3))) -> (rule4 % int2)) ((triple3) -> (rule5 % int3))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
((((((triple5) -> (rule5 % int3))) -> (rule4 % int2)) ((triple5) -> (rule5 % int3))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
((triple2 ((((((triple1) -> (rule2 % int5)) ((triple1) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((triple2 ((((((triple1) -> (rule2 % int5)) ((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((triple2 ((((triple1) -> (rule2 % int5)) ((((triple1) -> (rule2 % int5)) ((triple1) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((triple2 ((((triple1) -> (rule2 % int5)) ((((triple1) -> (rule2 % int5)) ((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((triple2 ((((((triple1) -> (rule6 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule2 % int4)) ((triple1) -> (rule6 % int5))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple2 ((((((triple1) -> (rule6 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule2 % int4)) ((triple2) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple2 ((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule2 % int4)) ((triple1) -> (rule6 % int5))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple2 ((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule2 % int4)) ((triple2) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple2 ((((((((triple1) -> (rule6 % int5))) -> (rule4 % int4)) ((triple1) -> (rule6 % int5))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple2 ((((((((triple1) -> (rule6 % int5))) -> (rule4 % int4)) ((triple2) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple2 ((((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) ((triple1) -> (rule6 % int5))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple2 ((((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) ((triple2) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple2 ((((triple1) -> (rule2 % int5)) ((((((triple1) -> (rule6 % int4))) -> (rule4 % int5)) ((triple1) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((triple2 ((((triple1) -> (rule2 % int5)) ((((((triple1) -> (rule6 % int4))) -> (rule4 % int5)) ((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((triple2 ((((triple1) -> (rule2 % int5)) ((((((triple2) -> (rule5 % int4))) -> (rule4 % int5)) ((triple1) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((triple2 ((((triple1) -> (rule2 % int5)) ((((((triple2) -> (rule5 % int4))) -> (rule4 % int5)) ((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
((triple2 ((((((triple1) -> (rule6 % int5))) -> (rule4 % int4)) ((((((triple1) -> (rule6 % int5))) -> (rule4 % int4)) ((triple1) -> (rule6 % int5))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple2 ((((((triple1) -> (rule6 % int5))) -> (rule4 % int4)) ((((((triple1) -> (rule6 % int5))) -> (rule4 % int4)) ((triple2) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple2 ((((((triple1) -> (rule6 % int5))) -> (rule4 % int4)) ((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) ((triple1) -> (rule6 % int5))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple2 ((((((triple1) -> (rule6 % int5))) -> (rule4 % int4)) ((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) ((triple2) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple2 ((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) ((((((triple1) -> (rule6 % int5))) -> (rule4 % int4)) ((triple1) -> (rule6 % int5))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple2 ((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) ((((((triple1) -> (rule6 % int5))) -> (rule4 % int4)) ((triple2) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple2 ((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) ((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) ((triple1) -> (rule6 % int5))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((triple2 ((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) ((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) ((triple2) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
((((((((triple3) -> (rule5 % int4))) -> (rule4 % int3)) ((triple3) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule5 % int4))) -> (rule4 % int3)) ((((((triple3) -> (rule5 % int4))) -> (rule4 % int3)) ((triple3) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule9 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
((((((((triple5) -> (rule5 % int4))) -> (rule4 % int3)) ((triple5) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple5) -> (rule5 % int4))) -> (rule4 % int3)) ((((((triple5) -> (rule5 % int4))) -> (rule4 % int3)) ((triple5) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule9 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
((triple3 ((((((((triple3) -> (rule5 % int5))) -> (rule4 % int4)) ((triple3) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule5 % int5))) -> (rule4 % int4)) ((((((triple3) -> (rule5 % int5))) -> (rule4 % int4)) ((triple3) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5