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