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