Anne is big. Anne is blue. Anne is cold. Anne is kind. Anne is white. Anne is young. Dave is big. Dave is blue. Dave is kind. Dave is nice. Dave is white. Dave is young. Big people are white. If Anne is big and Anne is kind then Anne is nice. White people are nice. If Anne is white and Anne is nice then Anne is kind. Young people are kind. All big people are white. If someone is big and young then they are nice. If someone is kind then they are blue.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Big people are white.
((("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
If Anne is big and Anne is kind then Anne is nice.
((("Anne" "is" "big" "+") ("Anne" "is" "kind" "+")) -> ("Anne" "is" "nice" "+"))
White people are nice.
((("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
If Anne is white and Anne is nice then Anne is kind.
((("Anne" "is" "white" "+") ("Anne" "is" "nice" "+")) -> ("Anne" "is" "kind" "+"))
Young people are kind.
((("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
All big people are white.
((("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
If someone is big and young then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind then they are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Dave is nice.
True
1
proof
[(triple10 OR ((triple11) -> rule3) OR ((triple7 triple12) -> rule7) OR ((((triple7) -> rule1)) -> rule3) OR ((((triple7) -> rule6)) -> rule3))]
("Dave" "is" "nice" "+")
triple10
((triple11) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((triple7 triple12) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((((triple7) -> (rule1 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple7) -> (rule6 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Anne is not blue.
False
1
inv-proof
[(triple2 OR ((triple4) -> rule8) OR ((((triple6) -> rule5)) -> rule8) OR ((((triple5 ((triple5) -> rule3)) -> rule4)) -> rule8) OR ((((triple5 ((triple1 triple6) -> rule7)) -> rule4)) -> rule8) OR ((((((triple1) -> rule1) ((triple5) -> rule3)) -> rule4)) -> rule8) OR ((((((triple1) -> rule1) ((triple1 triple6) -> rule7)) -> rule4)) -> rule8) OR ((((((triple1) -> rule6) ((triple5) -> rule3)) -> rule4)) -> rule8) OR ((((((triple1) -> rule6) ((triple1 triple6) -> rule7)) -> rule4)) -> rule8) OR ((((triple5 ((((triple1) -> rule1)) -> rule3)) -> rule4)) -> rule8) OR ((((triple5 ((((triple1) -> rule6)) -> rule3)) -> rule4)) -> rule8) OR ((((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule4)) -> rule8) OR ((((((triple1) -> rule1) ((((triple1) -> rule6)) -> rule3)) -> rule4)) -> rule8) OR ((((((triple1) -> rule6) ((((triple1) -> rule1)) -> rule3)) -> rule4)) -> rule8) OR ((((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule3)) -> rule4)) -> rule8))]
("Anne" "is" "blue" "-")
triple2
((triple4) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((((triple6) -> (rule5 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((triple5 ((triple5) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((triple5 ((triple1 triple6) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple1) -> (rule1 % int4)) ((triple5) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple1) -> (rule1 % int4)) ((triple1 triple6) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple1) -> (rule6 % int4)) ((triple5) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple1) -> (rule6 % int4)) ((triple1 triple6) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((triple5 ((((triple1) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((triple5 ((((triple1) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple1) -> (rule1 % int4)) ((((triple1) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple1) -> (rule1 % int4)) ((((triple1) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple1) -> (rule6 % int4)) ((((triple1) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple1) -> (rule6 % int4)) ((((triple1) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is nice.
True
2
proof
[(((triple5) -> rule3) OR ((triple1 triple4) -> rule2) OR ((triple1 triple6) -> rule7) OR ((((triple1) -> rule1)) -> rule3) OR ((((triple1) -> rule6)) -> rule3) OR ((triple1 ((triple6) -> rule5)) -> rule2))]
("Anne" "is" "nice" "+")
((triple5) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple1 triple4) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple1 triple6) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((triple1 ((triple6) -> (rule5 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is not nice.
False
2
inv-proof
[(((triple5) -> rule3) OR ((triple1 triple4) -> rule2) OR ((triple1 triple6) -> rule7) OR ((((triple1) -> rule1)) -> rule3) OR ((((triple1) -> rule6)) -> rule3) OR ((triple1 ((triple6) -> rule5)) -> rule2))]
("Anne" "is" "nice" "-")
((triple5) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple1 triple4) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple1 triple6) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((triple1 ((triple6) -> (rule5 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple4) -> rule8) OR ((((triple6) -> rule5)) -> rule8) OR ((((triple5 ((triple5) -> rule3)) -> rule4)) -> rule8) OR ((((triple5 ((triple1 triple6) -> rule7)) -> rule4)) -> rule8) OR ((((((triple1) -> rule1) ((triple5) -> rule3)) -> rule4)) -> rule8) OR ((((((triple1) -> rule1) ((triple1 triple6) -> rule7)) -> rule4)) -> rule8) OR ((((((triple1) -> rule6) ((triple5) -> rule3)) -> rule4)) -> rule8) OR ((((((triple1) -> rule6) ((triple1 triple6) -> rule7)) -> rule4)) -> rule8) OR ((((triple5 ((((triple1) -> rule1)) -> rule3)) -> rule4)) -> rule8) OR ((((triple5 ((((triple1) -> rule6)) -> rule3)) -> rule4)) -> rule8) OR ((((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule4)) -> rule8) OR ((((((triple1) -> rule1) ((((triple1) -> rule6)) -> rule3)) -> rule4)) -> rule8) OR ((((((triple1) -> rule6) ((((triple1) -> rule1)) -> rule3)) -> rule4)) -> rule8) OR ((((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule3)) -> rule4)) -> rule8))] Anne is cold.[(triple3)] Anne is kind.[(triple4 OR ((triple6) -> rule5) OR ((triple5 ((triple5) -> rule3)) -> rule4) OR ((triple5 ((triple1 triple6) -> rule7)) -> rule4) OR ((((triple1) -> rule1) ((triple5) -> rule3)) -> rule4) OR ((((triple1) -> rule1) ((triple1 triple6) -> rule7)) -> rule4) OR ((((triple1) -> rule6) ((triple5) -> rule3)) -> rule4) OR ((((triple1) -> rule6) ((triple1 triple6) -> rule7)) -> rule4) OR ((triple5 ((((triple1) -> rule1)) -> rule3)) -> rule4) OR ((triple5 ((((triple1) -> rule6)) -> rule3)) -> rule4) OR ((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule4) OR ((((triple1) -> rule1) ((((triple1) -> rule6)) -> rule3)) -> rule4) OR ((((triple1) -> rule6) ((((triple1) -> rule1)) -> rule3)) -> rule4) OR ((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule3)) -> rule4))] Anne is white.[(triple5 OR ((triple1) -> rule1) OR ((triple1) -> rule6))] Anne is young.[(triple6)] Dave is big.[(triple7)] Dave is blue.[(triple8 OR ((triple9) -> rule8) OR ((((triple12) -> rule5)) -> rule8))] Dave is kind.[(triple9 OR ((triple12) -> rule5))] Dave is nice.[(triple10 OR ((triple11) -> rule3) OR ((triple7 triple12) -> rule7) OR ((((triple7) -> rule1)) -> rule3) OR ((((triple7) -> rule6)) -> rule3))] Dave is white.[(triple11 OR ((triple7) -> rule1) OR ((triple7) -> rule6))] Dave is young.[(triple12)] @1: Anne is nice.[(((triple5) -> rule3) OR ((triple1 triple4) -> rule2) OR ((triple1 triple6) -> rule7) OR ((((triple1) -> rule1)) -> rule3) OR ((((triple1) -> rule6)) -> rule3) OR ((triple1 ((triple6) -> rule5)) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
((triple4) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((((triple6) -> (rule5 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((triple5 ((triple5) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((triple5 ((triple1 triple6) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple1) -> (rule1 % int4)) ((triple5) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple1) -> (rule1 % int4)) ((triple1 triple6) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple1) -> (rule6 % int4)) ((triple5) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple1) -> (rule6 % int4)) ((triple1 triple6) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((triple5 ((((triple1) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((triple5 ((((triple1) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple1) -> (rule1 % int4)) ((((triple1) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple1) -> (rule1 % int4)) ((((triple1) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple1) -> (rule6 % int4)) ((((triple1) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple1) -> (rule6 % int4)) ((((triple1) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
triple3
Anne is kind.
("Anne" "is" "kind" "+")
triple4
((triple6) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((triple5 ((triple5) -> (rule3 % int2))) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((triple5 ((triple1 triple6) -> (rule7 % int2))) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((triple1) -> (rule1 % int3)) ((triple5) -> (rule3 % int2))) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((triple1) -> (rule1 % int3)) ((triple1 triple6) -> (rule7 % int2))) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((triple1) -> (rule6 % int3)) ((triple5) -> (rule3 % int2))) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((triple1) -> (rule6 % int3)) ((triple1 triple6) -> (rule7 % int2))) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((triple5 ((((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((triple5 ((((triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((triple1) -> (rule1 % int3)) ((((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((triple1) -> (rule1 % int3)) ((((triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((triple1) -> (rule6 % int3)) ((((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((triple1) -> (rule6 % int3)) ((((triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
triple5
((triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((triple1) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
triple6
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is blue.
("Dave" "is" "blue" "+")
triple8
((triple9) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((((triple12) -> (rule5 % int2))) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
triple9
((triple12) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
triple10
((triple11) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((triple7 triple12) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((((triple7) -> (rule1 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple7) -> (rule6 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
triple11
((triple7) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((triple7) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
triple12
Anne is nice.
("Anne" "is" "nice" "+")
((triple5) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple1 triple4) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple1 triple6) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((triple1 ((triple6) -> (rule5 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2