Anne is big. Anne is blue. Anne is nice. Anne is rough. Anne is smart. Charlie is big. Charlie is blue. Charlie is nice. Charlie is rough. Charlie is round. Charlie is smart. Charlie is young. If someone is big then they are round. If someone is nice and smart then they are blue. Young people are blue. If someone is young and nice then they are blue. If someone is round and rough then they are young. All round, big people are rough. If someone is blue and not smart then they are rough. Round people are nice.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and smart then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
Young people are blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and nice then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and rough then they are young.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
All round, big people are rough.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and not smart then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "rough" "+"))
Round people are nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Charlie is smart.
True
1
proof
[(triple11)]
("Charlie" "is" "smart" "+")
triple11
Charlie is not blue.
False
1
inv-proof
[(triple7 OR ((triple12) -> rule3) OR ((triple12 triple8) -> rule4) OR ((triple8 triple11) -> rule2) OR ((((triple10 triple9) -> rule5)) -> rule3) OR ((triple12 ((triple10) -> rule8)) -> rule4) OR ((((triple10) -> rule8) triple11) -> rule2) OR ((((triple10 triple9) -> rule5) triple8) -> rule4) OR ((((triple10 triple9) -> rule5) ((triple10) -> rule8)) -> rule4) OR ((((triple10 ((triple10 triple6) -> rule6)) -> rule5)) -> rule3) OR ((((((triple6) -> rule1) triple9) -> rule5)) -> rule3) OR ((triple12 ((((triple6) -> rule1)) -> rule8)) -> rule4) OR ((((((triple6) -> rule1)) -> rule8) triple11) -> rule2) OR ((((triple10 ((triple10 triple6) -> rule6)) -> rule5) triple8) -> rule4) OR ((((((triple6) -> rule1) triple9) -> rule5) triple8) -> rule4) OR ((((((triple6) -> rule1) ((triple10 triple6) -> rule6)) -> rule5)) -> rule3) OR ((((triple10 triple9) -> rule5) ((((triple6) -> rule1)) -> rule8)) -> rule4) OR ((((triple10 ((triple10 triple6) -> rule6)) -> rule5) ((triple10) -> rule8)) -> rule4) OR ((((((triple6) -> rule1) triple9) -> rule5) ((triple10) -> rule8)) -> rule4) OR ((((((triple6) -> rule1) ((triple10 triple6) -> rule6)) -> rule5) triple8) -> rule4) OR ((((triple10 ((triple10 triple6) -> rule6)) -> rule5) ((((triple6) -> rule1)) -> rule8)) -> rule4) OR ((((((triple6) -> rule1) triple9) -> rule5) ((((triple6) -> rule1)) -> rule8)) -> rule4) OR ((((((triple6) -> rule1) ((triple10 triple6) -> rule6)) -> rule5) ((triple10) -> rule8)) -> rule4) OR ((((((triple6) -> rule1) ((triple10 triple6) -> rule6)) -> rule5) ((((triple6) -> rule1)) -> rule8)) -> rule4) OR ((((triple10 ((((triple6) -> rule1) triple6) -> rule6)) -> rule5)) -> rule3) OR ((((triple10 ((((triple6) -> rule1) triple6) -> rule6)) -> rule5) triple8) -> rule4) OR ((((((triple6) -> rule1) ((((triple6) -> rule1) triple6) -> rule6)) -> rule5)) -> rule3) OR ((((triple10 ((((triple6) -> rule1) triple6) -> rule6)) -> rule5) ((triple10) -> rule8)) -> rule4) OR ((((((triple6) -> rule1) ((((triple6) -> rule1) triple6) -> rule6)) -> rule5) triple8) -> rule4) OR ((((triple10 ((((triple6) -> rule1) triple6) -> rule6)) -> rule5) ((((triple6) -> rule1)) -> rule8)) -> rule4) OR ((((((triple6) -> rule1) ((((triple6) -> rule1) triple6) -> rule6)) -> rule5) ((triple10) -> rule8)) -> rule4) OR ((((((triple6) -> rule1) ((((triple6) -> rule1) triple6) -> rule6)) -> rule5) ((((triple6) -> rule1)) -> rule8)) -> rule4))]
("Charlie" "is" "blue" "-")
triple7
((triple12) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((triple12 triple8) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((triple8 triple11) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((((triple10 triple9) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((triple12 ((triple10) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple10) -> (rule8 % int2)) triple11) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple10 triple9) -> (rule5 % int2)) triple8) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple10 triple9) -> (rule5 % int3)) ((triple10) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((triple10 ((triple10 triple6) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple6) -> (rule1 % int3)) triple9) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((triple12 ((((triple6) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple6) -> (rule1 % int3))) -> (rule8 % int2)) triple11) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple10 ((triple10 triple6) -> (rule6 % int3))) -> (rule5 % int2)) triple8) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple6) -> (rule1 % int3)) triple9) -> (rule5 % int2)) triple8) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple6) -> (rule1 % int4)) ((triple10 triple6) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple10 triple9) -> (rule5 % int4)) ((((triple6) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple10 ((triple10 triple6) -> (rule6 % int4))) -> (rule5 % int3)) ((triple10) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple6) -> (rule1 % int4)) triple9) -> (rule5 % int3)) ((triple10) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple6) -> (rule1 % int4)) ((triple10 triple6) -> (rule6 % int3))) -> (rule5 % int2)) triple8) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple10 ((triple10 triple6) -> (rule6 % int5))) -> (rule5 % int4)) ((((triple6) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((triple6) -> (rule1 % int4)) triple9) -> (rule5 % int3)) ((((triple6) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple6) -> (rule1 % int5)) ((triple10 triple6) -> (rule6 % int4))) -> (rule5 % int3)) ((triple10) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((triple6) -> (rule1 % int5)) ((triple10 triple6) -> (rule6 % int4))) -> (rule5 % int3)) ((((triple6) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((triple10 ((((triple6) -> (rule1 % int4)) triple6) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple10 ((((triple6) -> (rule1 % int4)) triple6) -> (rule6 % int3))) -> (rule5 % int2)) triple8) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple6) -> (rule1 % int4)) ((((triple6) -> (rule1 % int4)) triple6) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple10 ((((triple6) -> (rule1 % int5)) triple6) -> (rule6 % int4))) -> (rule5 % int3)) ((triple10) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((triple6) -> (rule1 % int4)) ((((triple6) -> (rule1 % int4)) triple6) -> (rule6 % int3))) -> (rule5 % int2)) triple8) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple10 ((((triple6) -> (rule1 % int5)) triple6) -> (rule6 % int4))) -> (rule5 % int3)) ((((triple6) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((triple6) -> (rule1 % int5)) ((((triple6) -> (rule1 % int5)) triple6) -> (rule6 % int4))) -> (rule5 % int3)) ((triple10) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((triple6) -> (rule1 % int5)) ((((triple6) -> (rule1 % int5)) triple6) -> (rule6 % int4))) -> (rule5 % int3)) ((((triple6) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Anne is round.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "round" "+")
((triple1) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is not round.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "round" "-")
((triple1) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is young.
True
4
proof
[(((((triple1) -> rule1) triple4) -> rule5) OR ((((triple1) -> rule1) ((((triple1) -> rule1) triple1) -> rule6)) -> rule5))]
("Anne" "is" "young" "+")
((((triple1) -> (rule1 % int2)) triple4) -> (rule5 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple1) -> (rule1 % int3)) ((((triple1) -> (rule1 % int3)) triple1) -> (rule6 % int2))) -> (rule5 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is not young.
False
4
inv-proof
[(((((triple1) -> rule1) triple4) -> rule5) OR ((((triple1) -> rule1) ((((triple1) -> rule1) triple1) -> rule6)) -> rule5))]
("Anne" "is" "young" "-")
((((triple1) -> (rule1 % int2)) triple4) -> (rule5 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple1) -> (rule1 % int3)) ((((triple1) -> (rule1 % int3)) triple1) -> (rule6 % int2))) -> (rule5 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple3 triple5) -> rule2) OR ((((((triple1) -> rule1) triple4) -> rule5)) -> rule3) OR ((((((triple1) -> rule1)) -> rule8) triple5) -> rule2) OR ((((((triple1) -> rule1) triple4) -> rule5) triple3) -> rule4) OR ((((((triple1) -> rule1) triple4) -> rule5) ((((triple1) -> rule1)) -> rule8)) -> rule4) OR ((((((triple1) -> rule1) ((((triple1) -> rule1) triple1) -> rule6)) -> rule5)) -> rule3) OR ((((((triple1) -> rule1) ((((triple1) -> rule1) triple1) -> rule6)) -> rule5) triple3) -> rule4) OR ((((((triple1) -> rule1) ((((triple1) -> rule1) triple1) -> rule6)) -> rule5) ((((triple1) -> rule1)) -> rule8)) -> rule4))] Anne is nice.[(triple3 OR ((((triple1) -> rule1)) -> rule8))] Anne is rough.[(triple4 OR ((((triple1) -> rule1) triple1) -> rule6))] Anne is smart.[(triple5)] Charlie is big.[(triple6)] Charlie is blue.[(triple7 OR ((triple12) -> rule3) OR ((triple12 triple8) -> rule4) OR ((triple8 triple11) -> rule2) OR ((((triple10 triple9) -> rule5)) -> rule3) OR ((triple12 ((triple10) -> rule8)) -> rule4) OR ((((triple10) -> rule8) triple11) -> rule2) OR ((((triple10 triple9) -> rule5) triple8) -> rule4) OR ((((triple10 triple9) -> rule5) ((triple10) -> rule8)) -> rule4) OR ((((triple10 ((triple10 triple6) -> rule6)) -> rule5)) -> rule3) OR ((((((triple6) -> rule1) triple9) -> rule5)) -> rule3) OR ((triple12 ((((triple6) -> rule1)) -> rule8)) -> rule4) OR ((((((triple6) -> rule1)) -> rule8) triple11) -> rule2) OR ((((triple10 ((triple10 triple6) -> rule6)) -> rule5) triple8) -> rule4) OR ((((((triple6) -> rule1) triple9) -> rule5) triple8) -> rule4) OR ((((((triple6) -> rule1) ((triple10 triple6) -> rule6)) -> rule5)) -> rule3) OR ((((triple10 triple9) -> rule5) ((((triple6) -> rule1)) -> rule8)) -> rule4) OR ((((triple10 ((triple10 triple6) -> rule6)) -> rule5) ((triple10) -> rule8)) -> rule4) OR ((((((triple6) -> rule1) triple9) -> rule5) ((triple10) -> rule8)) -> rule4) OR ((((((triple6) -> rule1) ((triple10 triple6) -> rule6)) -> rule5) triple8) -> rule4) OR ((((triple10 ((triple10 triple6) -> rule6)) -> rule5) ((((triple6) -> rule1)) -> rule8)) -> rule4) OR ((((((triple6) -> rule1) triple9) -> rule5) ((((triple6) -> rule1)) -> rule8)) -> rule4) OR ((((((triple6) -> rule1) ((triple10 triple6) -> rule6)) -> rule5) ((triple10) -> rule8)) -> rule4) OR ((((((triple6) -> rule1) ((triple10 triple6) -> rule6)) -> rule5) ((((triple6) -> rule1)) -> rule8)) -> rule4) OR ((((triple10 ((((triple6) -> rule1) triple6) -> rule6)) -> rule5)) -> rule3) OR ((((triple10 ((((triple6) -> rule1) triple6) -> rule6)) -> rule5) triple8) -> rule4) OR ((((((triple6) -> rule1) ((((triple6) -> rule1) triple6) -> rule6)) -> rule5)) -> rule3) OR ((((triple10 ((((triple6) -> rule1) triple6) -> rule6)) -> rule5) ((triple10) -> rule8)) -> rule4) OR ((((((triple6) -> rule1) ((((triple6) -> rule1) triple6) -> rule6)) -> rule5) triple8) -> rule4) OR ((((triple10 ((((triple6) -> rule1) triple6) -> rule6)) -> rule5) ((((triple6) -> rule1)) -> rule8)) -> rule4) OR ((((((triple6) -> rule1) ((((triple6) -> rule1) triple6) -> rule6)) -> rule5) ((triple10) -> rule8)) -> rule4) OR ((((((triple6) -> rule1) ((((triple6) -> rule1) triple6) -> rule6)) -> rule5) ((((triple6) -> rule1)) -> rule8)) -> rule4))] Charlie is nice.[(triple8 OR ((triple10) -> rule8) OR ((((triple6) -> rule1)) -> rule8))] Charlie is rough.[(triple9 OR ((triple10 triple6) -> rule6) OR ((((triple6) -> rule1) triple6) -> rule6))] Charlie is round.[(triple10 OR ((triple6) -> rule1))] Charlie is smart.[(triple11)] Charlie is young.[(triple12 OR ((triple10 triple9) -> rule5) OR ((triple10 ((triple10 triple6) -> rule6)) -> rule5) OR ((((triple6) -> rule1) triple9) -> rule5) OR ((((triple6) -> rule1) ((triple10 triple6) -> rule6)) -> rule5) OR ((triple10 ((((triple6) -> rule1) triple6) -> rule6)) -> rule5) OR ((((triple6) -> rule1) ((((triple6) -> rule1) triple6) -> rule6)) -> rule5))] @1: Anne is round.[(((triple1) -> rule1))] @2: Anne is young.[(((((triple1) -> rule1) triple4) -> rule5) OR ((((triple1) -> rule1) ((((triple1) -> rule1) triple1) -> rule6)) -> rule5))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
((triple3 triple5) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((((((triple1) -> (rule1 % int3)) triple4) -> (rule5 % int2))) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple1) -> (rule1 % int3))) -> (rule8 % int2)) triple5) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple1) -> (rule1 % int3)) triple4) -> (rule5 % int2)) triple3) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((((triple1) -> (rule1 % int4)) triple4) -> (rule5 % int3)) ((((triple1) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((triple1) -> (rule1 % int4)) ((((triple1) -> (rule1 % int4)) triple1) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((triple1) -> (rule1 % int4)) ((((triple1) -> (rule1 % int4)) triple1) -> (rule6 % int3))) -> (rule5 % int2)) triple3) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((triple1) -> (rule1 % int5)) ((((triple1) -> (rule1 % int5)) triple1) -> (rule6 % int4))) -> (rule5 % int3)) ((((triple1) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
triple3
((((triple1) -> (rule1 % int2))) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
triple4
((((triple1) -> (rule1 % int2)) triple1) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is blue.
("Charlie" "is" "blue" "+")
triple7
((triple12) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((triple12 triple8) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((triple8 triple11) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((((triple10 triple9) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((triple12 ((triple10) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple10) -> (rule8 % int2)) triple11) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple10 triple9) -> (rule5 % int2)) triple8) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple10 triple9) -> (rule5 % int3)) ((triple10) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((triple10 ((triple10 triple6) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple6) -> (rule1 % int3)) triple9) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((triple12 ((((triple6) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple6) -> (rule1 % int3))) -> (rule8 % int2)) triple11) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple10 ((triple10 triple6) -> (rule6 % int3))) -> (rule5 % int2)) triple8) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple6) -> (rule1 % int3)) triple9) -> (rule5 % int2)) triple8) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple6) -> (rule1 % int4)) ((triple10 triple6) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple10 triple9) -> (rule5 % int4)) ((((triple6) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple10 ((triple10 triple6) -> (rule6 % int4))) -> (rule5 % int3)) ((triple10) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple6) -> (rule1 % int4)) triple9) -> (rule5 % int3)) ((triple10) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple6) -> (rule1 % int4)) ((triple10 triple6) -> (rule6 % int3))) -> (rule5 % int2)) triple8) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple10 ((triple10 triple6) -> (rule6 % int5))) -> (rule5 % int4)) ((((triple6) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((triple6) -> (rule1 % int4)) triple9) -> (rule5 % int3)) ((((triple6) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple6) -> (rule1 % int5)) ((triple10 triple6) -> (rule6 % int4))) -> (rule5 % int3)) ((triple10) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((triple6) -> (rule1 % int5)) ((triple10 triple6) -> (rule6 % int4))) -> (rule5 % int3)) ((((triple6) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((triple10 ((((triple6) -> (rule1 % int4)) triple6) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple10 ((((triple6) -> (rule1 % int4)) triple6) -> (rule6 % int3))) -> (rule5 % int2)) triple8) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple6) -> (rule1 % int4)) ((((triple6) -> (rule1 % int4)) triple6) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple10 ((((triple6) -> (rule1 % int5)) triple6) -> (rule6 % int4))) -> (rule5 % int3)) ((triple10) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((triple6) -> (rule1 % int4)) ((((triple6) -> (rule1 % int4)) triple6) -> (rule6 % int3))) -> (rule5 % int2)) triple8) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple10 ((((triple6) -> (rule1 % int5)) triple6) -> (rule6 % int4))) -> (rule5 % int3)) ((((triple6) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((triple6) -> (rule1 % int5)) ((((triple6) -> (rule1 % int5)) triple6) -> (rule6 % int4))) -> (rule5 % int3)) ((triple10) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((triple6) -> (rule1 % int5)) ((((triple6) -> (rule1 % int5)) triple6) -> (rule6 % int4))) -> (rule5 % int3)) ((((triple6) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple8
((triple10) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((((triple6) -> (rule1 % int2))) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple9
((triple10 triple6) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple6) -> (rule1 % int2)) triple6) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
triple10
((triple6) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple11
Charlie is young.
("Charlie" "is" "young" "+")
triple12
((triple10 triple9) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple10 ((triple10 triple6) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple6) -> (rule1 % int2)) triple9) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple6) -> (rule1 % int3)) ((triple10 triple6) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((triple10 ((((triple6) -> (rule1 % int3)) triple6) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple6) -> (rule1 % int3)) ((((triple6) -> (rule1 % int3)) triple6) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
((triple1) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
((((triple1) -> (rule1 % int2)) triple4) -> (rule5 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((triple1) -> (rule1 % int3)) ((((triple1) -> (rule1 % int3)) triple1) -> (rule6 % int2))) -> (rule5 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3