Erin is big. Erin is rough. Erin is round. Fiona is big. Fiona is blue. Fiona is green. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is young. Green, rough people are young. If someone is big then they are young. If someone is young and round then they are green. If someone is blue then they are big. If Fiona is big and Fiona is rough then Fiona is round. If someone is rough and big then they are young. If someone is green and round then they are blue. All blue, young people are rough.
Erin is big.
("Erin" "is" "big" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Green, rough people are young.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is big then they are young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is young and round then they are green.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is blue then they are big.
((("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If Fiona is big and Fiona is rough then Fiona is round.
((("Fiona" "is" "big" "+") ("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "round" "+"))
If someone is rough and big then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is green and round then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
All blue, young people are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Fiona is green.
True
1
proof
[(triple6 OR ((triple10 triple9) -> rule3) OR ((triple10 ((triple4 triple8) -> rule5)) -> rule3) OR ((((triple4) -> rule2) triple9) -> rule3) OR ((((triple8 triple4) -> rule6) triple9) -> rule3) OR ((((triple4) -> rule2) ((triple4 triple8) -> rule5)) -> rule3) OR ((((triple8 triple4) -> rule6) ((triple4 triple8) -> rule5)) -> rule3) OR ((triple10 ((triple4 ((triple5 triple10) -> rule8)) -> rule5)) -> rule3) OR ((triple10 ((((triple5) -> rule4) triple8) -> rule5)) -> rule3) OR ((((((triple5) -> rule4)) -> rule2) triple9) -> rule3) OR ((((triple8 ((triple5) -> rule4)) -> rule6) triple9) -> rule3) OR ((triple10 ((((triple5) -> rule4) ((triple5 triple10) -> rule8)) -> rule5)) -> rule3) OR ((((triple4) -> rule2) ((triple4 ((triple5 triple10) -> rule8)) -> rule5)) -> rule3) OR ((((triple4) -> rule2) ((((triple5) -> rule4) triple8) -> rule5)) -> rule3) OR ((((((triple5) -> rule4)) -> rule2) ((triple4 triple8) -> rule5)) -> rule3) OR ((((triple8 triple4) -> rule6) ((triple4 ((triple5 triple10) -> rule8)) -> rule5)) -> rule3) OR ((((triple8 triple4) -> rule6) ((((triple5) -> rule4) triple8) -> rule5)) -> rule3) OR ((((triple8 ((triple5) -> rule4)) -> rule6) ((triple4 triple8) -> rule5)) -> rule3) OR ((((triple4) -> rule2) ((((triple5) -> rule4) ((triple5 triple10) -> rule8)) -> rule5)) -> rule3) OR ((((((triple5) -> rule4)) -> rule2) ((triple4 ((triple5 triple10) -> rule8)) -> rule5)) -> rule3) OR ((((((triple5) -> rule4)) -> rule2) ((((triple5) -> rule4) triple8) -> rule5)) -> rule3) OR ((((triple8 triple4) -> rule6) ((((triple5) -> rule4) ((triple5 triple10) -> rule8)) -> rule5)) -> rule3) OR ((((triple8 ((triple5) -> rule4)) -> rule6) ((triple4 ((triple5 triple10) -> rule8)) -> rule5)) -> rule3) OR ((((triple8 ((triple5) -> rule4)) -> rule6) ((((triple5) -> rule4) triple8) -> rule5)) -> rule3) OR ((((((triple5) -> rule4)) -> rule2) ((((triple5) -> rule4) ((triple5 triple10) -> rule8)) -> rule5)) -> rule3) OR ((((triple8 ((triple5) -> rule4)) -> rule6) ((((triple5) -> rule4) ((triple5 triple10) -> rule8)) -> rule5)) -> rule3) OR ((triple10 ((triple4 ((triple5 ((triple4) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((triple10 ((((triple5) -> rule4) ((triple5 ((triple4) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((((triple4) -> rule2) ((triple4 ((triple5 ((triple4) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((((triple8 triple4) -> rule6) ((triple4 ((triple5 ((triple4) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((((triple4) -> rule2) ((((triple5) -> rule4) ((triple5 ((triple4) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((((((triple5) -> rule4)) -> rule2) ((triple4 ((triple5 ((triple4) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((((triple8 triple4) -> rule6) ((((triple5) -> rule4) ((triple5 ((triple4) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((((triple8 ((triple5) -> rule4)) -> rule6) ((triple4 ((triple5 ((triple4) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((((((triple5) -> rule4)) -> rule2) ((((triple5) -> rule4) ((triple5 ((triple4) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((((triple8 ((triple5) -> rule4)) -> rule6) ((((triple5) -> rule4) ((triple5 ((triple4) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((triple10 ((triple4 ((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((triple10 ((((triple5) -> rule4) ((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((((triple4) -> rule2) ((triple4 ((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((((triple8 triple4) -> rule6) ((triple4 ((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((((triple4) -> rule2) ((((triple5) -> rule4) ((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((((((triple5) -> rule4)) -> rule2) ((triple4 ((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((((triple8 triple4) -> rule6) ((((triple5) -> rule4) ((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((((triple8 ((triple5) -> rule4)) -> rule6) ((triple4 ((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((((((triple5) -> rule4)) -> rule2) ((((triple5) -> rule4) ((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((((triple8 ((triple5) -> rule4)) -> rule6) ((((triple5) -> rule4) ((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule8)) -> rule5)) -> rule3))]
("Fiona" "is" "green" "+")
triple6
((triple10 triple9) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple10 ((triple4 triple8) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple4) -> (rule2 % int2)) triple9) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple8 triple4) -> (rule6 % int2)) triple9) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple4) -> (rule2 % int3)) ((triple4 triple8) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((((triple8 triple4) -> (rule6 % int3)) ((triple4 triple8) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((triple10 ((triple4 ((triple5 triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((triple10 ((((triple5) -> (rule4 % int3)) triple8) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((triple5) -> (rule4 % int3))) -> (rule2 % int2)) triple9) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((triple8 ((triple5) -> (rule4 % int3))) -> (rule6 % int2)) triple9) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((triple10 ((((triple5) -> (rule4 % int4)) ((triple5 triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((triple4) -> (rule2 % int4)) ((triple4 ((triple5 triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((triple4) -> (rule2 % int4)) ((((triple5) -> (rule4 % int3)) triple8) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((triple5) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 triple8) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((triple8 triple4) -> (rule6 % int4)) ((triple4 ((triple5 triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((triple8 triple4) -> (rule6 % int4)) ((((triple5) -> (rule4 % int3)) triple8) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((triple8 ((triple5) -> (rule4 % int4))) -> (rule6 % int3)) ((triple4 triple8) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((triple4) -> (rule2 % int5)) ((((triple5) -> (rule4 % int4)) ((triple5 triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((triple5) -> (rule4 % int5))) -> (rule2 % int4)) ((triple4 ((triple5 triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((triple5) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple5) -> (rule4 % int4)) triple8) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((triple8 triple4) -> (rule6 % int5)) ((((triple5) -> (rule4 % int4)) ((triple5 triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((triple8 ((triple5) -> (rule4 % int5))) -> (rule6 % int4)) ((triple4 ((triple5 triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple8 ((triple5) -> (rule4 % int4))) -> (rule6 % int3)) ((((triple5) -> (rule4 % int4)) triple8) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((((triple5) -> (rule4 % int5))) -> (rule2 % int4)) ((((triple5) -> (rule4 % int5)) ((triple5 triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple8 ((triple5) -> (rule4 % int5))) -> (rule6 % int4)) ((((triple5) -> (rule4 % int5)) ((triple5 triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((triple10 ((triple4 ((triple5 ((triple4) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((triple10 ((((triple5) -> (rule4 % int5)) ((triple5 ((triple4) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple4) -> (rule2 % int4)) ((triple4 ((triple5 ((triple4) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((triple8 triple4) -> (rule6 % int4)) ((triple4 ((triple5 ((triple4) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((triple4) -> (rule2 % int5)) ((((triple5) -> (rule4 % int4)) ((triple5 ((triple4) -> (rule2 % int5))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((triple5) -> (rule4 % int5))) -> (rule2 % int4)) ((triple4 ((triple5 ((triple4) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple8 triple4) -> (rule6 % int5)) ((((triple5) -> (rule4 % int4)) ((triple5 ((triple4) -> (rule2 % int5))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((triple8 ((triple5) -> (rule4 % int5))) -> (rule6 % int4)) ((triple4 ((triple5 ((triple4) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((triple5) -> (rule4 % int5))) -> (rule2 % int4)) ((((triple5) -> (rule4 % int5)) ((triple5 ((triple4) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple8 ((triple5) -> (rule4 % int5))) -> (rule6 % int4)) ((((triple5) -> (rule4 % int5)) ((triple5 ((triple4) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((triple10 ((triple4 ((triple5 ((((triple5) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((triple10 ((((triple5) -> (rule4 % int5)) ((triple5 ((((triple5) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple4) -> (rule2 % int5)) ((triple4 ((triple5 ((((triple5) -> (rule4 % int4))) -> (rule2 % int5))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((triple8 triple4) -> (rule6 % int5)) ((triple4 ((triple5 ((((triple5) -> (rule4 % int4))) -> (rule2 % int5))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((triple4) -> (rule2 % int5)) ((((triple5) -> (rule4 % int4)) ((triple5 ((((triple5) -> (rule4 % int4))) -> (rule2 % int5))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((triple5) -> (rule4 % int5))) -> (rule2 % int4)) ((triple4 ((triple5 ((((triple5) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple8 triple4) -> (rule6 % int5)) ((((triple5) -> (rule4 % int4)) ((triple5 ((((triple5) -> (rule4 % int4))) -> (rule2 % int5))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((triple8 ((triple5) -> (rule4 % int5))) -> (rule6 % int4)) ((triple4 ((triple5 ((((triple5) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((triple5) -> (rule4 % int5))) -> (rule2 % int4)) ((((triple5) -> (rule4 % int5)) ((triple5 ((((triple5) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple8 ((triple5) -> (rule4 % int5))) -> (rule6 % int4)) ((((triple5) -> (rule4 % int5)) ((triple5 ((((triple5) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is not rough.
False
1
inv-proof
[(triple8 OR ((triple5 triple10) -> rule8) OR ((triple5 ((triple4) -> rule2)) -> rule8) OR ((((triple6 triple9) -> rule7) triple10) -> rule8) OR ((((triple6 triple9) -> rule7) ((triple4) -> rule2)) -> rule8) OR ((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule8) OR ((((((triple10 triple9) -> rule3) triple9) -> rule7) triple10) -> rule8) OR ((((triple6 triple9) -> rule7) ((((triple5) -> rule4)) -> rule2)) -> rule8) OR ((((((triple10 triple9) -> rule3) triple9) -> rule7) ((triple4) -> rule2)) -> rule8) OR ((((((triple10 triple9) -> rule3) triple9) -> rule7) ((((triple5) -> rule4)) -> rule2)) -> rule8) OR ((triple5 ((((((triple6 triple9) -> rule7)) -> rule4)) -> rule2)) -> rule8) OR ((((((((triple4) -> rule2) triple9) -> rule3) triple9) -> rule7) triple10) -> rule8) OR ((((triple6 triple9) -> rule7) ((((((triple6 triple9) -> rule7)) -> rule4)) -> rule2)) -> rule8) OR ((((((((triple4) -> rule2) triple9) -> rule3) triple9) -> rule7) ((triple4) -> rule2)) -> rule8) OR ((((((triple10 triple9) -> rule3) triple9) -> rule7) ((((((triple6 triple9) -> rule7)) -> rule4)) -> rule2)) -> rule8) OR ((((((((triple4) -> rule2) triple9) -> rule3) triple9) -> rule7) ((((triple5) -> rule4)) -> rule2)) -> rule8) OR ((((((((triple4) -> rule2) triple9) -> rule3) triple9) -> rule7) ((((((triple6 triple9) -> rule7)) -> rule4)) -> rule2)) -> rule8))]
("Fiona" "is" "rough" "-")
triple8
((triple5 triple10) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple5 ((triple4) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple6 triple9) -> (rule7 % int2)) triple10) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple6 triple9) -> (rule7 % int3)) ((triple4) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((triple5 ((((triple5) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((triple10 triple9) -> (rule3 % int3)) triple9) -> (rule7 % int2)) triple10) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((triple6 triple9) -> (rule7 % int4)) ((((triple5) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((((triple10 triple9) -> (rule3 % int4)) triple9) -> (rule7 % int3)) ((triple4) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((triple10 triple9) -> (rule3 % int5)) triple9) -> (rule7 % int4)) ((((triple5) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((triple5 ((((((triple6 triple9) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((((((triple4) -> (rule2 % int4)) triple9) -> (rule3 % int3)) triple9) -> (rule7 % int2)) triple10) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((triple6 triple9) -> (rule7 % int4)) ((((((triple6 triple9) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((((((triple4) -> (rule2 % int4)) triple9) -> (rule3 % int3)) triple9) -> (rule7 % int2)) ((triple4) -> (rule2 % int4))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((triple10 triple9) -> (rule3 % int5)) triple9) -> (rule7 % int4)) ((((((triple6 triple9) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((((((triple4) -> (rule2 % int5)) triple9) -> (rule3 % int4)) triple9) -> (rule7 % int3)) ((((triple5) -> (rule4 % int2))) -> (rule2 % int5))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((((triple4) -> (rule2 % int5)) triple9) -> (rule3 % int4)) triple9) -> (rule7 % int3)) ((((((triple6 triple9) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int5))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
Erin is young.
True
2
proof
[(((triple1) -> rule2) OR ((triple2 triple1) -> rule6))]
("Erin" "is" "young" "+")
((triple1) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple2 triple1) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not young.
False
2
inv-proof
[(((triple1) -> rule2) OR ((triple2 triple1) -> rule6))]
("Erin" "is" "young" "-")
((triple1) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple2 triple1) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
True
4
proof
[(((((triple1) -> rule2) triple3) -> rule3) OR ((((triple2 triple1) -> rule6) triple3) -> rule3))]
("Erin" "is" "green" "+")
((((triple1) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple2 triple1) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is not green.
False
4
inv-proof
[(((((triple1) -> rule2) triple3) -> rule3) OR ((((triple2 triple1) -> rule6) triple3) -> rule3))]
("Erin" "is" "green" "-")
((((triple1) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple2 triple1) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is blue.
True
6
proof
[(((((((triple1) -> rule2) triple3) -> rule3) triple3) -> rule7) OR ((((((triple2 triple1) -> rule6) triple3) -> rule3) triple3) -> rule7))]
("Erin" "is" "blue" "+")
((((((triple1) -> (rule2 % int3)) triple3) -> (rule3 % int2)) triple3) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((triple2 triple1) -> (rule6 % int3)) triple3) -> (rule3 % int2)) triple3) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is not blue.
False
6
inv-proof
[(((((((triple1) -> rule2) triple3) -> rule3) triple3) -> rule7) OR ((((((triple2 triple1) -> rule6) triple3) -> rule3) triple3) -> rule7))]
("Erin" "is" "blue" "-")
((((((triple1) -> (rule2 % int3)) triple3) -> (rule3 % int2)) triple3) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((triple2 triple1) -> (rule6 % int3)) triple3) -> (rule3 % int2)) triple3) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
@0: Erin is big.[(triple1)] Erin is rough.[(triple2 OR ((((((((triple1) -> rule2) triple3) -> rule3) triple3) -> rule7) ((triple1) -> rule2)) -> rule8))] Erin is round.[(triple3)] Fiona is big.[(triple4 OR ((triple5) -> rule4) OR ((((triple6 triple9) -> rule7)) -> rule4) OR ((((((triple10 triple9) -> rule3) triple9) -> rule7)) -> rule4))] Fiona is blue.[(triple5 OR ((triple6 triple9) -> rule7) OR ((triple6 ((triple4 triple8) -> rule5)) -> rule7) OR ((((triple10 triple9) -> rule3) triple9) -> rule7) OR ((((triple10 triple9) -> rule3) ((triple4 triple8) -> rule5)) -> rule7) OR ((((triple10 ((triple4 triple8) -> rule5)) -> rule3) triple9) -> rule7) OR ((((((triple4) -> rule2) triple9) -> rule3) triple9) -> rule7) OR ((((((triple8 triple4) -> rule6) triple9) -> rule3) triple9) -> rule7) OR ((((triple10 ((triple4 triple8) -> rule5)) -> rule3) ((triple4 triple8) -> rule5)) -> rule7) OR ((((((triple4) -> rule2) triple9) -> rule3) ((triple4 triple8) -> rule5)) -> rule7) OR ((((((triple4) -> rule2) ((triple4 triple8) -> rule5)) -> rule3) triple9) -> rule7) OR ((((((triple8 triple4) -> rule6) triple9) -> rule3) ((triple4 triple8) -> rule5)) -> rule7) OR ((((((triple8 triple4) -> rule6) ((triple4 triple8) -> rule5)) -> rule3) triple9) -> rule7) OR ((((((triple4) -> rule2) ((triple4 triple8) -> rule5)) -> rule3) ((triple4 triple8) -> rule5)) -> rule7) OR ((((((triple8 triple4) -> rule6) ((triple4 triple8) -> rule5)) -> rule3) ((triple4 triple8) -> rule5)) -> rule7))] Fiona is green.[(triple6 OR ((triple10 triple9) -> rule3) OR ((triple10 ((triple4 triple8) -> rule5)) -> rule3) OR ((((triple4) -> rule2) triple9) -> rule3) OR ((((triple8 triple4) -> rule6) triple9) -> rule3) OR ((((triple4) -> rule2) ((triple4 triple8) -> rule5)) -> rule3) OR ((((triple8 triple4) -> rule6) ((triple4 triple8) -> rule5)) -> rule3) OR ((triple10 ((triple4 ((triple5 triple10) -> rule8)) -> rule5)) -> rule3) OR ((triple10 ((((triple5) -> rule4) triple8) -> rule5)) -> rule3) OR ((((((triple5) -> rule4)) -> rule2) triple9) -> rule3) OR ((((triple8 ((triple5) -> rule4)) -> rule6) triple9) -> rule3) OR ((triple10 ((((triple5) -> rule4) ((triple5 triple10) -> rule8)) -> rule5)) -> rule3) OR ((((triple4) -> rule2) ((triple4 ((triple5 triple10) -> rule8)) -> rule5)) -> rule3) OR ((((triple4) -> rule2) ((((triple5) -> rule4) triple8) -> rule5)) -> rule3) OR ((((((triple5) -> rule4)) -> rule2) ((triple4 triple8) -> rule5)) -> rule3) OR ((((triple8 triple4) -> rule6) ((triple4 ((triple5 triple10) -> rule8)) -> rule5)) -> rule3) OR ((((triple8 triple4) -> rule6) ((((triple5) -> rule4) triple8) -> rule5)) -> rule3) OR ((((triple8 ((triple5) -> rule4)) -> rule6) ((triple4 triple8) -> rule5)) -> rule3) OR ((((triple4) -> rule2) ((((triple5) -> rule4) ((triple5 triple10) -> rule8)) -> rule5)) -> rule3) OR ((((((triple5) -> rule4)) -> rule2) ((triple4 ((triple5 triple10) -> rule8)) -> rule5)) -> rule3) OR ((((((triple5) -> rule4)) -> rule2) ((((triple5) -> rule4) triple8) -> rule5)) -> rule3) OR ((((triple8 triple4) -> rule6) ((((triple5) -> rule4) ((triple5 triple10) -> rule8)) -> rule5)) -> rule3) OR ((((triple8 ((triple5) -> rule4)) -> rule6) ((triple4 ((triple5 triple10) -> rule8)) -> rule5)) -> rule3) OR ((((triple8 ((triple5) -> rule4)) -> rule6) ((((triple5) -> rule4) triple8) -> rule5)) -> rule3) OR ((((((triple5) -> rule4)) -> rule2) ((((triple5) -> rule4) ((triple5 triple10) -> rule8)) -> rule5)) -> rule3) OR ((((triple8 ((triple5) -> rule4)) -> rule6) ((((triple5) -> rule4) ((triple5 triple10) -> rule8)) -> rule5)) -> rule3) OR ((triple10 ((triple4 ((triple5 ((triple4) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((triple10 ((((triple5) -> rule4) ((triple5 ((triple4) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((((triple4) -> rule2) ((triple4 ((triple5 ((triple4) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((((triple8 triple4) -> rule6) ((triple4 ((triple5 ((triple4) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((((triple4) -> rule2) ((((triple5) -> rule4) ((triple5 ((triple4) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((((((triple5) -> rule4)) -> rule2) ((triple4 ((triple5 ((triple4) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((((triple8 triple4) -> rule6) ((((triple5) -> rule4) ((triple5 ((triple4) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((((triple8 ((triple5) -> rule4)) -> rule6) ((triple4 ((triple5 ((triple4) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((((((triple5) -> rule4)) -> rule2) ((((triple5) -> rule4) ((triple5 ((triple4) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((((triple8 ((triple5) -> rule4)) -> rule6) ((((triple5) -> rule4) ((triple5 ((triple4) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((triple10 ((triple4 ((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((triple10 ((((triple5) -> rule4) ((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((((triple4) -> rule2) ((triple4 ((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((((triple8 triple4) -> rule6) ((triple4 ((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((((triple4) -> rule2) ((((triple5) -> rule4) ((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((((((triple5) -> rule4)) -> rule2) ((triple4 ((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((((triple8 triple4) -> rule6) ((((triple5) -> rule4) ((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((((triple8 ((triple5) -> rule4)) -> rule6) ((triple4 ((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((((((triple5) -> rule4)) -> rule2) ((((triple5) -> rule4) ((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule8)) -> rule5)) -> rule3) OR ((((triple8 ((triple5) -> rule4)) -> rule6) ((((triple5) -> rule4) ((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule8)) -> rule5)) -> rule3))] Fiona is quiet.[(triple7)] Fiona is rough.[(triple8 OR ((triple5 triple10) -> rule8) OR ((triple5 ((triple4) -> rule2)) -> rule8) OR ((((triple6 triple9) -> rule7) triple10) -> rule8) OR ((((triple6 triple9) -> rule7) ((triple4) -> rule2)) -> rule8) OR ((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule8) OR ((((((triple10 triple9) -> rule3) triple9) -> rule7) triple10) -> rule8) OR ((((triple6 triple9) -> rule7) ((((triple5) -> rule4)) -> rule2)) -> rule8) OR ((((((triple10 triple9) -> rule3) triple9) -> rule7) ((triple4) -> rule2)) -> rule8) OR ((((((triple10 triple9) -> rule3) triple9) -> rule7) ((((triple5) -> rule4)) -> rule2)) -> rule8) OR ((triple5 ((((((triple6 triple9) -> rule7)) -> rule4)) -> rule2)) -> rule8) OR ((((((((triple4) -> rule2) triple9) -> rule3) triple9) -> rule7) triple10) -> rule8) OR ((((triple6 triple9) -> rule7) ((((((triple6 triple9) -> rule7)) -> rule4)) -> rule2)) -> rule8) OR ((((((((triple4) -> rule2) triple9) -> rule3) triple9) -> rule7) ((triple4) -> rule2)) -> rule8) OR ((((((triple10 triple9) -> rule3) triple9) -> rule7) ((((((triple6 triple9) -> rule7)) -> rule4)) -> rule2)) -> rule8) OR ((((((((triple4) -> rule2) triple9) -> rule3) triple9) -> rule7) ((((triple5) -> rule4)) -> rule2)) -> rule8) OR ((((((((triple4) -> rule2) triple9) -> rule3) triple9) -> rule7) ((((((triple6 triple9) -> rule7)) -> rule4)) -> rule2)) -> rule8))] Fiona is round.[(triple9 OR ((triple4 triple8) -> rule5) OR ((triple4 ((triple5 triple10) -> rule8)) -> rule5) OR ((((triple5) -> rule4) triple8) -> rule5) OR ((((triple5) -> rule4) ((triple5 triple10) -> rule8)) -> rule5) OR ((triple4 ((triple5 ((triple4) -> rule2)) -> rule8)) -> rule5) OR ((((triple5) -> rule4) ((triple5 ((triple4) -> rule2)) -> rule8)) -> rule5) OR ((triple4 ((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule8)) -> rule5) OR ((((triple5) -> rule4) ((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule8)) -> rule5))] Fiona is young.[(triple10 OR ((triple4) -> rule2) OR ((triple6 triple8) -> rule1) OR ((triple8 triple4) -> rule6) OR ((((triple5) -> rule4)) -> rule2) OR ((triple8 ((triple5) -> rule4)) -> rule6) OR ((((((triple6 triple9) -> rule7)) -> rule4)) -> rule2) OR ((triple8 ((((triple6 triple9) -> rule7)) -> rule4)) -> rule6))] @1: Erin is young.[(((triple1) -> rule2) OR ((triple2 triple1) -> rule6))] @2: Erin is green.[(((((triple1) -> rule2) triple3) -> rule3) OR ((((triple2 triple1) -> rule6) triple3) -> rule3))] @3: Erin is blue.[(((((((triple1) -> rule2) triple3) -> rule3) triple3) -> rule7) OR ((((((triple2 triple1) -> rule6) triple3) -> rule3) triple3) -> rule7))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is rough.
("Erin" "is" "rough" "+")
triple2
((((((((triple1) -> (rule2 % int4)) triple3) -> (rule3 % int3)) triple3) -> (rule7 % int2)) ((triple1) -> (rule2 % int4))) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
((triple5) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((triple6 triple9) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((((triple10 triple9) -> (rule3 % int3)) triple9) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
((triple6 triple9) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple6 ((triple4 triple8) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple10 triple9) -> (rule3 % int2)) triple9) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple10 triple9) -> (rule3 % int3)) ((triple4 triple8) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((triple10 ((triple4 triple8) -> (rule5 % int3))) -> (rule3 % int2)) triple9) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple4) -> (rule2 % int3)) triple9) -> (rule3 % int2)) triple9) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((((((triple8 triple4) -> (rule6 % int3)) triple9) -> (rule3 % int2)) triple9) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((((triple10 ((triple4 triple8) -> (rule5 % int3))) -> (rule3 % int2)) ((triple4 triple8) -> (rule5 % int3))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple4) -> (rule2 % int4)) triple9) -> (rule3 % int3)) ((triple4 triple8) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((triple4) -> (rule2 % int4)) ((triple4 triple8) -> (rule5 % int3))) -> (rule3 % int2)) triple9) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((triple8 triple4) -> (rule6 % int4)) triple9) -> (rule3 % int3)) ((triple4 triple8) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((triple8 triple4) -> (rule6 % int4)) ((triple4 triple8) -> (rule5 % int3))) -> (rule3 % int2)) triple9) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((triple4) -> (rule2 % int4)) ((triple4 triple8) -> (rule5 % int3))) -> (rule3 % int2)) ((triple4 triple8) -> (rule5 % int3))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((triple8 triple4) -> (rule6 % int4)) ((triple4 triple8) -> (rule5 % int3))) -> (rule3 % int2)) ((triple4 triple8) -> (rule5 % int3))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
triple6
((triple10 triple9) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple10 ((triple4 triple8) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple4) -> (rule2 % int2)) triple9) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple8 triple4) -> (rule6 % int2)) triple9) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple4) -> (rule2 % int3)) ((triple4 triple8) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((((triple8 triple4) -> (rule6 % int3)) ((triple4 triple8) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((triple10 ((triple4 ((triple5 triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((triple10 ((((triple5) -> (rule4 % int3)) triple8) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((triple5) -> (rule4 % int3))) -> (rule2 % int2)) triple9) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((triple8 ((triple5) -> (rule4 % int3))) -> (rule6 % int2)) triple9) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((triple10 ((((triple5) -> (rule4 % int4)) ((triple5 triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((triple4) -> (rule2 % int4)) ((triple4 ((triple5 triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((triple4) -> (rule2 % int4)) ((((triple5) -> (rule4 % int3)) triple8) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((triple5) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 triple8) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((triple8 triple4) -> (rule6 % int4)) ((triple4 ((triple5 triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((triple8 triple4) -> (rule6 % int4)) ((((triple5) -> (rule4 % int3)) triple8) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((triple8 ((triple5) -> (rule4 % int4))) -> (rule6 % int3)) ((triple4 triple8) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((triple4) -> (rule2 % int5)) ((((triple5) -> (rule4 % int4)) ((triple5 triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((triple5) -> (rule4 % int5))) -> (rule2 % int4)) ((triple4 ((triple5 triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((triple5) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple5) -> (rule4 % int4)) triple8) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((triple8 triple4) -> (rule6 % int5)) ((((triple5) -> (rule4 % int4)) ((triple5 triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((triple8 ((triple5) -> (rule4 % int5))) -> (rule6 % int4)) ((triple4 ((triple5 triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple8 ((triple5) -> (rule4 % int4))) -> (rule6 % int3)) ((((triple5) -> (rule4 % int4)) triple8) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((((triple5) -> (rule4 % int5))) -> (rule2 % int4)) ((((triple5) -> (rule4 % int5)) ((triple5 triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple8 ((triple5) -> (rule4 % int5))) -> (rule6 % int4)) ((((triple5) -> (rule4 % int5)) ((triple5 triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((triple10 ((triple4 ((triple5 ((triple4) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((triple10 ((((triple5) -> (rule4 % int5)) ((triple5 ((triple4) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple4) -> (rule2 % int4)) ((triple4 ((triple5 ((triple4) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((triple8 triple4) -> (rule6 % int4)) ((triple4 ((triple5 ((triple4) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((triple4) -> (rule2 % int5)) ((((triple5) -> (rule4 % int4)) ((triple5 ((triple4) -> (rule2 % int5))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((triple5) -> (rule4 % int5))) -> (rule2 % int4)) ((triple4 ((triple5 ((triple4) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple8 triple4) -> (rule6 % int5)) ((((triple5) -> (rule4 % int4)) ((triple5 ((triple4) -> (rule2 % int5))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((triple8 ((triple5) -> (rule4 % int5))) -> (rule6 % int4)) ((triple4 ((triple5 ((triple4) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((triple5) -> (rule4 % int5))) -> (rule2 % int4)) ((((triple5) -> (rule4 % int5)) ((triple5 ((triple4) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple8 ((triple5) -> (rule4 % int5))) -> (rule6 % int4)) ((((triple5) -> (rule4 % int5)) ((triple5 ((triple4) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((triple10 ((triple4 ((triple5 ((((triple5) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((triple10 ((((triple5) -> (rule4 % int5)) ((triple5 ((((triple5) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple4) -> (rule2 % int5)) ((triple4 ((triple5 ((((triple5) -> (rule4 % int4))) -> (rule2 % int5))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((triple8 triple4) -> (rule6 % int5)) ((triple4 ((triple5 ((((triple5) -> (rule4 % int4))) -> (rule2 % int5))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((triple4) -> (rule2 % int5)) ((((triple5) -> (rule4 % int4)) ((triple5 ((((triple5) -> (rule4 % int4))) -> (rule2 % int5))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((triple5) -> (rule4 % int5))) -> (rule2 % int4)) ((triple4 ((triple5 ((((triple5) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple8 triple4) -> (rule6 % int5)) ((((triple5) -> (rule4 % int4)) ((triple5 ((((triple5) -> (rule4 % int4))) -> (rule2 % int5))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((triple8 ((triple5) -> (rule4 % int5))) -> (rule6 % int4)) ((triple4 ((triple5 ((((triple5) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((triple5) -> (rule4 % int5))) -> (rule2 % int4)) ((((triple5) -> (rule4 % int5)) ((triple5 ((((triple5) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple8 ((triple5) -> (rule4 % int5))) -> (rule6 % int4)) ((((triple5) -> (rule4 % int5)) ((triple5 ((((triple5) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
((triple5 triple10) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple5 ((triple4) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple6 triple9) -> (rule7 % int2)) triple10) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple6 triple9) -> (rule7 % int3)) ((triple4) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((triple5 ((((triple5) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((triple10 triple9) -> (rule3 % int3)) triple9) -> (rule7 % int2)) triple10) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((triple6 triple9) -> (rule7 % int4)) ((((triple5) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((((triple10 triple9) -> (rule3 % int4)) triple9) -> (rule7 % int3)) ((triple4) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((triple10 triple9) -> (rule3 % int5)) triple9) -> (rule7 % int4)) ((((triple5) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((triple5 ((((((triple6 triple9) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((((((triple4) -> (rule2 % int4)) triple9) -> (rule3 % int3)) triple9) -> (rule7 % int2)) triple10) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((triple6 triple9) -> (rule7 % int4)) ((((((triple6 triple9) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((((((triple4) -> (rule2 % int4)) triple9) -> (rule3 % int3)) triple9) -> (rule7 % int2)) ((triple4) -> (rule2 % int4))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((triple10 triple9) -> (rule3 % int5)) triple9) -> (rule7 % int4)) ((((((triple6 triple9) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((((((triple4) -> (rule2 % int5)) triple9) -> (rule3 % int4)) triple9) -> (rule7 % int3)) ((((triple5) -> (rule4 % int2))) -> (rule2 % int5))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((((triple4) -> (rule2 % int5)) triple9) -> (rule3 % int4)) triple9) -> (rule7 % int3)) ((((((triple6 triple9) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int5))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
triple9
((triple4 triple8) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple4 ((triple5 triple10) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple5) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple5) -> (rule4 % int3)) ((triple5 triple10) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((triple4 ((triple5 ((triple4) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((((triple5) -> (rule4 % int4)) ((triple5 ((triple4) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((triple4 ((triple5 ((((triple5) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((triple5) -> (rule4 % int4)) ((triple5 ((((triple5) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
triple10
((triple4) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple6 triple8) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple8 triple4) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((((triple5) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((triple8 ((triple5) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((((triple6 triple9) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((triple8 ((((triple6 triple9) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
((triple1) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple2 triple1) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((((triple1) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple2 triple1) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
((((((triple1) -> (rule2 % int3)) triple3) -> (rule3 % int2)) triple3) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((triple2 triple1) -> (rule6 % int3)) triple3) -> (rule3 % int2)) triple3) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3