Anne is cold. Anne is green. Anne is quiet. Anne is red. Anne is rough. Anne is smart. Anne is young. If Anne is green and Anne is rough then Anne is red. If someone is cold and young then they are rough. If someone is red then they are quiet. All young, smart people are green. All cold, smart people are green. All green people are rough. If someone is rough then they are green. Young, cold people are green.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
If Anne is green and Anne is rough then Anne is red.
((("Anne" "is" "green" "+") ("Anne" "is" "rough" "+")) -> ("Anne" "is" "red" "+"))
If someone is cold and young then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is red then they are quiet.
((("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
All young, smart people are green.
((("someone" "is" "young" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
All cold, smart people are green.
((("someone" "is" "cold" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
All green people are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough then they are green.
((("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
Young, cold people are green.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Anne is cold.
True
1
proof
[(triple1)]
("Anne" "is" "cold" "+")
triple1
Anne is not green.
False
1
inv-proof
[(triple2 OR ((triple5) -> rule7) OR ((triple1 triple6) -> rule5) OR ((triple7 triple1) -> rule8) OR ((triple7 triple6) -> rule4) OR ((((triple1 triple7) -> rule2)) -> rule7))]
("Anne" "is" "green" "-")
triple2
((triple5) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((triple1 triple6) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((triple7 triple1) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((triple7 triple6) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((((triple1 triple7) -> (rule2 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
@0: Anne is cold.[(triple1)] Anne is green.[(triple2 OR ((triple5) -> rule7) OR ((triple1 triple6) -> rule5) OR ((triple7 triple1) -> rule8) OR ((triple7 triple6) -> rule4) OR ((((triple1 triple7) -> rule2)) -> rule7))] Anne is quiet.[(triple3 OR ((triple4) -> rule3) OR ((((triple2 triple5) -> rule1)) -> rule3) OR ((((triple2 ((triple2) -> rule6)) -> rule1)) -> rule3) OR ((((triple2 ((triple1 triple7) -> rule2)) -> rule1)) -> rule3) OR ((((((triple5) -> rule7) triple5) -> rule1)) -> rule3) OR ((((((triple1 triple6) -> rule5) triple5) -> rule1)) -> rule3) OR ((((((triple7 triple1) -> rule8) triple5) -> rule1)) -> rule3) OR ((((((triple7 triple6) -> rule4) triple5) -> rule1)) -> rule3) OR ((((((triple5) -> rule7) ((triple2) -> rule6)) -> rule1)) -> rule3) OR ((((((triple5) -> rule7) ((triple1 triple7) -> rule2)) -> rule1)) -> rule3) OR ((((((triple1 triple6) -> rule5) ((triple2) -> rule6)) -> rule1)) -> rule3) OR ((((((triple1 triple6) -> rule5) ((triple1 triple7) -> rule2)) -> rule1)) -> rule3) OR ((((((triple7 triple1) -> rule8) ((triple2) -> rule6)) -> rule1)) -> rule3) OR ((((((triple7 triple1) -> rule8) ((triple1 triple7) -> rule2)) -> rule1)) -> rule3) OR ((((((triple7 triple6) -> rule4) ((triple2) -> rule6)) -> rule1)) -> rule3) OR ((((((triple7 triple6) -> rule4) ((triple1 triple7) -> rule2)) -> rule1)) -> rule3) OR ((((triple2 ((((triple1 triple6) -> rule5)) -> rule6)) -> rule1)) -> rule3) OR ((((triple2 ((((triple7 triple1) -> rule8)) -> rule6)) -> rule1)) -> rule3) OR ((((triple2 ((((triple7 triple6) -> rule4)) -> rule6)) -> rule1)) -> rule3) OR ((((((((triple1 triple7) -> rule2)) -> rule7) triple5) -> rule1)) -> rule3) OR ((((((triple5) -> rule7) ((((triple1 triple6) -> rule5)) -> rule6)) -> rule1)) -> rule3) OR ((((((triple5) -> rule7) ((((triple7 triple1) -> rule8)) -> rule6)) -> rule1)) -> rule3) OR ((((((triple5) -> rule7) ((((triple7 triple6) -> rule4)) -> rule6)) -> rule1)) -> rule3) OR ((((((((triple1 triple7) -> rule2)) -> rule7) ((triple2) -> rule6)) -> rule1)) -> rule3) OR ((((((((triple1 triple7) -> rule2)) -> rule7) ((triple1 triple7) -> rule2)) -> rule1)) -> rule3) OR ((((((triple1 triple6) -> rule5) ((((triple1 triple6) -> rule5)) -> rule6)) -> rule1)) -> rule3) OR ((((((triple1 triple6) -> rule5) ((((triple7 triple1) -> rule8)) -> rule6)) -> rule1)) -> rule3) OR ((((((triple1 triple6) -> rule5) ((((triple7 triple6) -> rule4)) -> rule6)) -> rule1)) -> rule3) OR ((((((triple7 triple1) -> rule8) ((((triple1 triple6) -> rule5)) -> rule6)) -> rule1)) -> rule3) OR ((((((triple7 triple1) -> rule8) ((((triple7 triple1) -> rule8)) -> rule6)) -> rule1)) -> rule3) OR ((((((triple7 triple1) -> rule8) ((((triple7 triple6) -> rule4)) -> rule6)) -> rule1)) -> rule3) OR ((((((triple7 triple6) -> rule4) ((((triple1 triple6) -> rule5)) -> rule6)) -> rule1)) -> rule3) OR ((((((triple7 triple6) -> rule4) ((((triple7 triple1) -> rule8)) -> rule6)) -> rule1)) -> rule3) OR ((((((triple7 triple6) -> rule4) ((((triple7 triple6) -> rule4)) -> rule6)) -> rule1)) -> rule3) OR ((((((((triple1 triple7) -> rule2)) -> rule7) ((((triple1 triple6) -> rule5)) -> rule6)) -> rule1)) -> rule3) OR ((((((((triple1 triple7) -> rule2)) -> rule7) ((((triple7 triple1) -> rule8)) -> rule6)) -> rule1)) -> rule3) OR ((((((((triple1 triple7) -> rule2)) -> rule7) ((((triple7 triple6) -> rule4)) -> rule6)) -> rule1)) -> rule3))] Anne is red.[(triple4 OR ((triple2 triple5) -> rule1) OR ((triple2 ((triple2) -> rule6)) -> rule1) OR ((triple2 ((triple1 triple7) -> rule2)) -> rule1) OR ((((triple5) -> rule7) triple5) -> rule1) OR ((((triple1 triple6) -> rule5) triple5) -> rule1) OR ((((triple7 triple1) -> rule8) triple5) -> rule1) OR ((((triple7 triple6) -> rule4) triple5) -> rule1) OR ((((triple5) -> rule7) ((triple2) -> rule6)) -> rule1) OR ((((triple5) -> rule7) ((triple1 triple7) -> rule2)) -> rule1) OR ((((triple1 triple6) -> rule5) ((triple2) -> rule6)) -> rule1) OR ((((triple1 triple6) -> rule5) ((triple1 triple7) -> rule2)) -> rule1) OR ((((triple7 triple1) -> rule8) ((triple2) -> rule6)) -> rule1) OR ((((triple7 triple1) -> rule8) ((triple1 triple7) -> rule2)) -> rule1) OR ((((triple7 triple6) -> rule4) ((triple2) -> rule6)) -> rule1) OR ((((triple7 triple6) -> rule4) ((triple1 triple7) -> rule2)) -> rule1) OR ((triple2 ((((triple1 triple6) -> rule5)) -> rule6)) -> rule1) OR ((triple2 ((((triple7 triple1) -> rule8)) -> rule6)) -> rule1) OR ((triple2 ((((triple7 triple6) -> rule4)) -> rule6)) -> rule1) OR ((((((triple1 triple7) -> rule2)) -> rule7) triple5) -> rule1) OR ((((triple5) -> rule7) ((((triple1 triple6) -> rule5)) -> rule6)) -> rule1) OR ((((triple5) -> rule7) ((((triple7 triple1) -> rule8)) -> rule6)) -> rule1) OR ((((triple5) -> rule7) ((((triple7 triple6) -> rule4)) -> rule6)) -> rule1) OR ((((((triple1 triple7) -> rule2)) -> rule7) ((triple2) -> rule6)) -> rule1) OR ((((((triple1 triple7) -> rule2)) -> rule7) ((triple1 triple7) -> rule2)) -> rule1) OR ((((triple1 triple6) -> rule5) ((((triple1 triple6) -> rule5)) -> rule6)) -> rule1) OR ((((triple1 triple6) -> rule5) ((((triple7 triple1) -> rule8)) -> rule6)) -> rule1) OR ((((triple1 triple6) -> rule5) ((((triple7 triple6) -> rule4)) -> rule6)) -> rule1) OR ((((triple7 triple1) -> rule8) ((((triple1 triple6) -> rule5)) -> rule6)) -> rule1) OR ((((triple7 triple1) -> rule8) ((((triple7 triple1) -> rule8)) -> rule6)) -> rule1) OR ((((triple7 triple1) -> rule8) ((((triple7 triple6) -> rule4)) -> rule6)) -> rule1) OR ((((triple7 triple6) -> rule4) ((((triple1 triple6) -> rule5)) -> rule6)) -> rule1) OR ((((triple7 triple6) -> rule4) ((((triple7 triple1) -> rule8)) -> rule6)) -> rule1) OR ((((triple7 triple6) -> rule4) ((((triple7 triple6) -> rule4)) -> rule6)) -> rule1) OR ((((((triple1 triple7) -> rule2)) -> rule7) ((((triple1 triple6) -> rule5)) -> rule6)) -> rule1) OR ((((((triple1 triple7) -> rule2)) -> rule7) ((((triple7 triple1) -> rule8)) -> rule6)) -> rule1) OR ((((((triple1 triple7) -> rule2)) -> rule7) ((((triple7 triple6) -> rule4)) -> rule6)) -> rule1))] Anne is rough.[(triple5 OR ((triple2) -> rule6) OR ((triple1 triple7) -> rule2) OR ((((triple1 triple6) -> rule5)) -> rule6) OR ((((triple7 triple1) -> rule8)) -> rule6) OR ((((triple7 triple6) -> rule4)) -> rule6))] Anne is smart.[(triple6)] Anne is young.[(triple7)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
((triple5) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((triple1 triple6) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((triple7 triple1) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((triple7 triple6) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((((triple1 triple7) -> (rule2 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
((triple4) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((((triple2 triple5) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((triple2 ((triple2) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((triple2 ((triple1 triple7) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((triple5) -> (rule7 % int3)) triple5) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((((triple1 triple6) -> (rule5 % int3)) triple5) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((((triple7 triple1) -> (rule8 % int3)) triple5) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((((triple7 triple6) -> (rule4 % int3)) triple5) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((((triple5) -> (rule7 % int4)) ((triple2) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple5) -> (rule7 % int4)) ((triple1 triple7) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple1 triple6) -> (rule5 % int4)) ((triple2) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple1 triple6) -> (rule5 % int4)) ((triple1 triple7) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple7 triple1) -> (rule8 % int4)) ((triple2) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple7 triple1) -> (rule8 % int4)) ((triple1 triple7) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple7 triple6) -> (rule4 % int4)) ((triple2) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple7 triple6) -> (rule4 % int4)) ((triple1 triple7) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((triple2 ((((triple1 triple6) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((triple2 ((((triple7 triple1) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((triple2 ((((triple7 triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((((triple1 triple7) -> (rule2 % int4))) -> (rule7 % int3)) triple5) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((triple5) -> (rule7 % int4)) ((((triple1 triple6) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple5) -> (rule7 % int4)) ((((triple7 triple1) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple5) -> (rule7 % int4)) ((((triple7 triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((((triple1 triple7) -> (rule2 % int4))) -> (rule7 % int3)) ((triple2) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((((triple1 triple7) -> (rule2 % int4))) -> (rule7 % int3)) ((triple1 triple7) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((triple1 triple6) -> (rule5 % int4)) ((((triple1 triple6) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple1 triple6) -> (rule5 % int4)) ((((triple7 triple1) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple1 triple6) -> (rule5 % int4)) ((((triple7 triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple7 triple1) -> (rule8 % int4)) ((((triple1 triple6) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple7 triple1) -> (rule8 % int4)) ((((triple7 triple1) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple7 triple1) -> (rule8 % int4)) ((((triple7 triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple7 triple6) -> (rule4 % int4)) ((((triple1 triple6) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple7 triple6) -> (rule4 % int4)) ((((triple7 triple1) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((triple7 triple6) -> (rule4 % int4)) ((((triple7 triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
((((((((triple1 triple7) -> (rule2 % int4))) -> (rule7 % int3)) ((((triple1 triple6) -> (rule5 % int3))) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((((triple1 triple7) -> (rule2 % int4))) -> (rule7 % int3)) ((((triple7 triple1) -> (rule8 % int3))) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((((triple1 triple7) -> (rule2 % int4))) -> (rule7 % int3)) ((((triple7 triple6) -> (rule4 % int3))) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
triple4
((triple2 triple5) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((triple2 ((triple2) -> (rule6 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((triple2 ((triple1 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((triple5) -> (rule7 % int2)) triple5) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple1 triple6) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple7 triple1) -> (rule8 % int2)) triple5) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple7 triple6) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple5) -> (rule7 % int3)) ((triple2) -> (rule6 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple5) -> (rule7 % int3)) ((triple1 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple1 triple6) -> (rule5 % int3)) ((triple2) -> (rule6 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple1 triple6) -> (rule5 % int3)) ((triple1 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple7 triple1) -> (rule8 % int3)) ((triple2) -> (rule6 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple7 triple1) -> (rule8 % int3)) ((triple1 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple7 triple6) -> (rule4 % int3)) ((triple2) -> (rule6 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple7 triple6) -> (rule4 % int3)) ((triple1 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((triple2 ((((triple1 triple6) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((triple2 ((((triple7 triple1) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((triple2 ((((triple7 triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((((triple1 triple7) -> (rule2 % int3))) -> (rule7 % int2)) triple5) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((triple5) -> (rule7 % int3)) ((((triple1 triple6) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple5) -> (rule7 % int3)) ((((triple7 triple1) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple5) -> (rule7 % int3)) ((((triple7 triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((((triple1 triple7) -> (rule2 % int3))) -> (rule7 % int2)) ((triple2) -> (rule6 % int3))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((triple1 triple7) -> (rule2 % int3))) -> (rule7 % int2)) ((triple1 triple7) -> (rule2 % int3))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((triple1 triple6) -> (rule5 % int3)) ((((triple1 triple6) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple1 triple6) -> (rule5 % int3)) ((((triple7 triple1) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple1 triple6) -> (rule5 % int3)) ((((triple7 triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple7 triple1) -> (rule8 % int3)) ((((triple1 triple6) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple7 triple1) -> (rule8 % int3)) ((((triple7 triple1) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple7 triple1) -> (rule8 % int3)) ((((triple7 triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple7 triple6) -> (rule4 % int3)) ((((triple1 triple6) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple7 triple6) -> (rule4 % int3)) ((((triple7 triple1) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((triple7 triple6) -> (rule4 % int3)) ((((triple7 triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
((((((triple1 triple7) -> (rule2 % int3))) -> (rule7 % int2)) ((((triple1 triple6) -> (rule5 % int2))) -> (rule6 % int3))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((triple1 triple7) -> (rule2 % int3))) -> (rule7 % int2)) ((((triple7 triple1) -> (rule8 % int2))) -> (rule6 % int3))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((triple1 triple7) -> (rule2 % int3))) -> (rule7 % int2)) ((((triple7 triple6) -> (rule4 % int2))) -> (rule6 % int3))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
triple5
((triple2) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((triple1 triple7) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple1 triple6) -> (rule5 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple7 triple1) -> (rule8 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple7 triple6) -> (rule4 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7