Anne is white. Anne is young. Gary is big. Gary is cold. Gary is nice. Gary is quiet. Gary is round. Gary is white. Gary is young. Harry is big. Harry is cold. Harry is nice. Harry is quiet. Harry is round. Harry is white. Harry is young. If Anne is young then Anne is nice. Nice people are big. If someone is big then they are quiet. Quiet, round people are cold. If someone is white then they are young. Big, young people are round. If someone is young and cold then they are big. If someone is nice then they are quiet.
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
If Anne is young then Anne is nice.
((("Anne" "is" "young" "+")) -> ("Anne" "is" "nice" "+"))
Nice people are big.
((("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is big then they are quiet.
((("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
Quiet, round people are cold.
((("someone" "is" "quiet" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is white then they are young.
((("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
Big, young people are round.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is young and cold then they are big.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is nice then they are quiet.
((("someone" "is" "nice" "+")) -> ("someone" "is" "quiet" "+"))
Harry is round.
True
1
proof
[(triple14 OR ((triple10 triple16) -> rule6) OR ((triple10 ((triple15) -> rule5)) -> rule6) OR ((((triple12) -> rule2) triple16) -> rule6) OR ((((triple16 triple11) -> rule7) triple16) -> rule6) OR ((((triple12) -> rule2) ((triple15) -> rule5)) -> rule6) OR ((((triple16 triple11) -> rule7) ((triple15) -> rule5)) -> rule6) OR ((((((triple15) -> rule5) triple11) -> rule7) triple16) -> rule6) OR ((((((triple15) -> rule5) triple11) -> rule7) ((triple15) -> rule5)) -> rule6))]
("Harry" "is" "round" "+")
triple14
((triple10 triple16) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((triple10 ((triple15) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple12) -> (rule2 % int2)) triple16) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple16 triple11) -> (rule7 % int2)) triple16) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple12) -> (rule2 % int3)) ((triple15) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple16 triple11) -> (rule7 % int3)) ((triple15) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple15) -> (rule5 % int3)) triple11) -> (rule7 % int2)) triple16) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((((triple15) -> (rule5 % int3)) triple11) -> (rule7 % int2)) ((triple15) -> (rule5 % int3))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Gary is not round.
False
1
inv-proof
[(triple7 OR ((triple3 triple9) -> rule6) OR ((triple3 ((triple8) -> rule5)) -> rule6) OR ((((triple5) -> rule2) triple9) -> rule6) OR ((((triple9 triple4) -> rule7) triple9) -> rule6) OR ((((triple5) -> rule2) ((triple8) -> rule5)) -> rule6) OR ((((triple9 triple4) -> rule7) ((triple8) -> rule5)) -> rule6) OR ((((((triple8) -> rule5) triple4) -> rule7) triple9) -> rule6) OR ((((((triple8) -> rule5) triple4) -> rule7) ((triple8) -> rule5)) -> rule6))]
("Gary" "is" "round" "-")
triple7
((triple3 triple9) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple3 ((triple8) -> (rule5 % int2))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple5) -> (rule2 % int2)) triple9) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple9 triple4) -> (rule7 % int2)) triple9) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple5) -> (rule2 % int3)) ((triple8) -> (rule5 % int2))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((triple9 triple4) -> (rule7 % int3)) ((triple8) -> (rule5 % int2))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((triple8) -> (rule5 % int3)) triple4) -> (rule7 % int2)) triple9) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((((triple8) -> (rule5 % int3)) triple4) -> (rule7 % int2)) ((triple8) -> (rule5 % int3))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Anne is nice.
True
2
proof
[(((triple2) -> rule1) OR ((((triple1) -> rule5)) -> rule1))]
("Anne" "is" "nice" "+")
((triple2) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((triple1) -> (rule5 % int2))) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is not nice.
False
2
inv-proof
[(((triple2) -> rule1) OR ((((triple1) -> rule5)) -> rule1))]
("Anne" "is" "nice" "-")
((triple2) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((triple1) -> (rule5 % int2))) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is quiet.
True
3
proof
[(((((triple2) -> rule1)) -> rule8) OR ((((((triple1) -> rule5)) -> rule1)) -> rule8) OR ((((((triple2) -> rule1)) -> rule2)) -> rule3) OR ((((((((triple1) -> rule5)) -> rule1)) -> rule2)) -> rule3))]
("Anne" "is" "quiet" "+")
((((triple2) -> (rule1 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((((triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((((triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((((triple1) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is not big.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule2) OR ((((((triple1) -> rule5)) -> rule1)) -> rule2))]
("Anne" "is" "big" "-")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((((triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is round.
True
5
proof
[(((((((triple2) -> rule1)) -> rule2) triple2) -> rule6) OR ((((((triple2) -> rule1)) -> rule2) ((triple1) -> rule5)) -> rule6) OR ((((((((triple1) -> rule5)) -> rule1)) -> rule2) triple2) -> rule6) OR ((((((((triple1) -> rule5)) -> rule1)) -> rule2) ((triple1) -> rule5)) -> rule6))]
("Anne" "is" "round" "+")
((((((triple2) -> (rule1 % int3))) -> (rule2 % int2)) triple2) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple2) -> (rule1 % int4))) -> (rule2 % int3)) ((triple1) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) triple2) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) ((triple1) -> (rule5 % int4))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is not round.
False
5
inv-proof
[(((((((triple2) -> rule1)) -> rule2) triple2) -> rule6) OR ((((((triple2) -> rule1)) -> rule2) ((triple1) -> rule5)) -> rule6) OR ((((((((triple1) -> rule5)) -> rule1)) -> rule2) triple2) -> rule6) OR ((((((((triple1) -> rule5)) -> rule1)) -> rule2) ((triple1) -> rule5)) -> rule6))]
("Anne" "is" "round" "-")
((((((triple2) -> (rule1 % int3))) -> (rule2 % int2)) triple2) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple2) -> (rule1 % int4))) -> (rule2 % int3)) ((triple1) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) triple2) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) ((triple1) -> (rule5 % int4))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
@0: Anne is white.[(triple1)] Anne is young.[(triple2 OR ((triple1) -> rule5))] Gary is big.[(triple3 OR ((triple5) -> rule2) OR ((triple9 triple4) -> rule7) OR ((triple9 ((triple6 triple7) -> rule4)) -> rule7) OR ((((triple8) -> rule5) triple4) -> rule7) OR ((((triple8) -> rule5) ((triple6 triple7) -> rule4)) -> rule7) OR ((triple9 ((((triple5) -> rule8) triple7) -> rule4)) -> rule7) OR ((((triple8) -> rule5) ((((triple5) -> rule8) triple7) -> rule4)) -> rule7))] Gary is cold.[(triple4 OR ((triple6 triple7) -> rule4) OR ((triple6 ((triple3 triple9) -> rule6)) -> rule4) OR ((((triple3) -> rule3) triple7) -> rule4) OR ((((triple5) -> rule8) triple7) -> rule4) OR ((((triple3) -> rule3) ((triple3 triple9) -> rule6)) -> rule4) OR ((((triple5) -> rule8) ((triple3 triple9) -> rule6)) -> rule4) OR ((triple6 ((triple3 ((triple8) -> rule5)) -> rule6)) -> rule4) OR ((triple6 ((((triple5) -> rule2) triple9) -> rule6)) -> rule4) OR ((((((triple5) -> rule2)) -> rule3) triple7) -> rule4) OR ((triple6 ((((triple5) -> rule2) ((triple8) -> rule5)) -> rule6)) -> rule4) OR ((((triple3) -> rule3) ((triple3 ((triple8) -> rule5)) -> rule6)) -> rule4) OR ((((triple3) -> rule3) ((((triple5) -> rule2) triple9) -> rule6)) -> rule4) OR ((((triple5) -> rule8) ((triple3 ((triple8) -> rule5)) -> rule6)) -> rule4) OR ((((triple5) -> rule8) ((((triple5) -> rule2) triple9) -> rule6)) -> rule4) OR ((((((triple5) -> rule2)) -> rule3) ((triple3 triple9) -> rule6)) -> rule4) OR ((((triple3) -> rule3) ((((triple5) -> rule2) ((triple8) -> rule5)) -> rule6)) -> rule4) OR ((((triple5) -> rule8) ((((triple5) -> rule2) ((triple8) -> rule5)) -> rule6)) -> rule4) OR ((((((triple5) -> rule2)) -> rule3) ((triple3 ((triple8) -> rule5)) -> rule6)) -> rule4) OR ((((((triple5) -> rule2)) -> rule3) ((((triple5) -> rule2) triple9) -> rule6)) -> rule4) OR ((((((triple5) -> rule2)) -> rule3) ((((triple5) -> rule2) ((triple8) -> rule5)) -> rule6)) -> rule4))] Gary is nice.[(triple5)] Gary is quiet.[(triple6 OR ((triple3) -> rule3) OR ((triple5) -> rule8) OR ((((triple5) -> rule2)) -> rule3) OR ((((triple9 triple4) -> rule7)) -> rule3) OR ((((((triple8) -> rule5) triple4) -> rule7)) -> rule3))] Gary is round.[(triple7 OR ((triple3 triple9) -> rule6) OR ((triple3 ((triple8) -> rule5)) -> rule6) OR ((((triple5) -> rule2) triple9) -> rule6) OR ((((triple9 triple4) -> rule7) triple9) -> rule6) OR ((((triple5) -> rule2) ((triple8) -> rule5)) -> rule6) OR ((((triple9 triple4) -> rule7) ((triple8) -> rule5)) -> rule6) OR ((((((triple8) -> rule5) triple4) -> rule7) triple9) -> rule6) OR ((((((triple8) -> rule5) triple4) -> rule7) ((triple8) -> rule5)) -> rule6))] Gary is white.[(triple8)] Gary is young.[(triple9 OR ((triple8) -> rule5))] Harry is big.[(triple10 OR ((triple12) -> rule2) OR ((triple16 triple11) -> rule7) OR ((triple16 ((triple13 triple14) -> rule4)) -> rule7) OR ((((triple15) -> rule5) triple11) -> rule7) OR ((((triple15) -> rule5) ((triple13 triple14) -> rule4)) -> rule7) OR ((triple16 ((((triple12) -> rule8) triple14) -> rule4)) -> rule7) OR ((((triple15) -> rule5) ((((triple12) -> rule8) triple14) -> rule4)) -> rule7))] Harry is cold.[(triple11 OR ((triple13 triple14) -> rule4) OR ((triple13 ((triple10 triple16) -> rule6)) -> rule4) OR ((((triple10) -> rule3) triple14) -> rule4) OR ((((triple12) -> rule8) triple14) -> rule4) OR ((((triple10) -> rule3) ((triple10 triple16) -> rule6)) -> rule4) OR ((((triple12) -> rule8) ((triple10 triple16) -> rule6)) -> rule4) OR ((triple13 ((triple10 ((triple15) -> rule5)) -> rule6)) -> rule4) OR ((triple13 ((((triple12) -> rule2) triple16) -> rule6)) -> rule4) OR ((((((triple12) -> rule2)) -> rule3) triple14) -> rule4) OR ((triple13 ((((triple12) -> rule2) ((triple15) -> rule5)) -> rule6)) -> rule4) OR ((((triple10) -> rule3) ((triple10 ((triple15) -> rule5)) -> rule6)) -> rule4) OR ((((triple10) -> rule3) ((((triple12) -> rule2) triple16) -> rule6)) -> rule4) OR ((((triple12) -> rule8) ((triple10 ((triple15) -> rule5)) -> rule6)) -> rule4) OR ((((triple12) -> rule8) ((((triple12) -> rule2) triple16) -> rule6)) -> rule4) OR ((((((triple12) -> rule2)) -> rule3) ((triple10 triple16) -> rule6)) -> rule4) OR ((((triple10) -> rule3) ((((triple12) -> rule2) ((triple15) -> rule5)) -> rule6)) -> rule4) OR ((((triple12) -> rule8) ((((triple12) -> rule2) ((triple15) -> rule5)) -> rule6)) -> rule4) OR ((((((triple12) -> rule2)) -> rule3) ((triple10 ((triple15) -> rule5)) -> rule6)) -> rule4) OR ((((((triple12) -> rule2)) -> rule3) ((((triple12) -> rule2) triple16) -> rule6)) -> rule4) OR ((((((triple12) -> rule2)) -> rule3) ((((triple12) -> rule2) ((triple15) -> rule5)) -> rule6)) -> rule4))] Harry is nice.[(triple12)] Harry is quiet.[(triple13 OR ((triple10) -> rule3) OR ((triple12) -> rule8) OR ((((triple12) -> rule2)) -> rule3) OR ((((triple16 triple11) -> rule7)) -> rule3) OR ((((((triple15) -> rule5) triple11) -> rule7)) -> rule3))] Harry is round.[(triple14 OR ((triple10 triple16) -> rule6) OR ((triple10 ((triple15) -> rule5)) -> rule6) OR ((((triple12) -> rule2) triple16) -> rule6) OR ((((triple16 triple11) -> rule7) triple16) -> rule6) OR ((((triple12) -> rule2) ((triple15) -> rule5)) -> rule6) OR ((((triple16 triple11) -> rule7) ((triple15) -> rule5)) -> rule6) OR ((((((triple15) -> rule5) triple11) -> rule7) triple16) -> rule6) OR ((((((triple15) -> rule5) triple11) -> rule7) ((triple15) -> rule5)) -> rule6))] Harry is white.[(triple15)] Harry is young.[(triple16 OR ((triple15) -> rule5))] @1: Anne is nice.[(((triple2) -> rule1) OR ((((triple1) -> rule5)) -> rule1))] @2: Anne is big.[(((((triple2) -> rule1)) -> rule2) OR ((((((triple1) -> rule5)) -> rule1)) -> rule2))] Anne is quiet.[(((((triple2) -> rule1)) -> rule8) OR ((((((triple1) -> rule5)) -> rule1)) -> rule8) OR ((((((triple2) -> rule1)) -> rule2)) -> rule3) OR ((((((((triple1) -> rule5)) -> rule1)) -> rule2)) -> rule3))] @3: Anne is round.[(((((((triple2) -> rule1)) -> rule2) triple2) -> rule6) OR ((((((triple2) -> rule1)) -> rule2) ((triple1) -> rule5)) -> rule6) OR ((((((((triple1) -> rule5)) -> rule1)) -> rule2) triple2) -> rule6) OR ((((((((triple1) -> rule5)) -> rule1)) -> rule2) ((triple1) -> rule5)) -> rule6))] @4: Anne is cold.[(((((((triple2) -> rule1)) -> rule8) ((((((triple2) -> rule1)) -> rule2) triple2) -> rule6)) -> rule4) OR ((((((triple2) -> rule1)) -> rule8) ((((((triple2) -> rule1)) -> rule2) ((triple1) -> rule5)) -> rule6)) -> rule4) OR ((((((((triple1) -> rule5)) -> rule1)) -> rule8) ((((((triple2) -> rule1)) -> rule2) triple2) -> rule6)) -> rule4) OR ((((((((triple2) -> rule1)) -> rule2)) -> rule3) ((((((triple2) -> rule1)) -> rule2) triple2) -> rule6)) -> rule4) OR ((((((((triple1) -> rule5)) -> rule1)) -> rule8) ((((((triple2) -> rule1)) -> rule2) ((triple1) -> rule5)) -> rule6)) -> rule4) OR ((((((((triple2) -> rule1)) -> rule2)) -> rule3) ((((((triple2) -> rule1)) -> rule2) ((triple1) -> rule5)) -> rule6)) -> rule4) OR ((((((triple2) -> rule1)) -> rule8) ((((((((triple1) -> rule5)) -> rule1)) -> rule2) triple2) -> rule6)) -> rule4) OR ((((((triple2) -> rule1)) -> rule8) ((((((((triple1) -> rule5)) -> rule1)) -> rule2) ((triple1) -> rule5)) -> rule6)) -> rule4) OR ((((((((triple1) -> rule5)) -> rule1)) -> rule8) ((((((((triple1) -> rule5)) -> rule1)) -> rule2) triple2) -> rule6)) -> rule4) OR ((((((((triple2) -> rule1)) -> rule2)) -> rule3) ((((((((triple1) -> rule5)) -> rule1)) -> rule2) triple2) -> rule6)) -> rule4) OR ((((((((((triple1) -> rule5)) -> rule1)) -> rule2)) -> rule3) ((((((triple2) -> rule1)) -> rule2) triple2) -> rule6)) -> rule4) OR ((((((((triple1) -> rule5)) -> rule1)) -> rule8) ((((((((triple1) -> rule5)) -> rule1)) -> rule2) ((triple1) -> rule5)) -> rule6)) -> rule4) OR ((((((((triple2) -> rule1)) -> rule2)) -> rule3) ((((((((triple1) -> rule5)) -> rule1)) -> rule2) ((triple1) -> rule5)) -> rule6)) -> rule4) OR ((((((((((triple1) -> rule5)) -> rule1)) -> rule2)) -> rule3) ((((((triple2) -> rule1)) -> rule2) ((triple1) -> rule5)) -> rule6)) -> rule4) OR ((((((((((triple1) -> rule5)) -> rule1)) -> rule2)) -> rule3) ((((((((triple1) -> rule5)) -> rule1)) -> rule2) triple2) -> rule6)) -> rule4) OR ((((((((((triple1) -> rule5)) -> rule1)) -> rule2)) -> rule3) ((((((((triple1) -> rule5)) -> rule1)) -> rule2) ((triple1) -> rule5)) -> rule6)) -> rule4))]
Anne is white.
("Anne" "is" "white" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
((triple1) -> (rule5 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
triple3
((triple5) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple9 triple4) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple9 ((triple6 triple7) -> (rule4 % int2))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((triple8) -> (rule5 % int2)) triple4) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple8) -> (rule5 % int3)) ((triple6 triple7) -> (rule4 % int2))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((triple9 ((((triple5) -> (rule8 % int3)) triple7) -> (rule4 % int2))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((triple8) -> (rule5 % int4)) ((((triple5) -> (rule8 % int3)) triple7) -> (rule4 % int2))) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
triple4
((triple6 triple7) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((triple6 ((triple3 triple9) -> (rule6 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple3) -> (rule3 % int2)) triple7) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple5) -> (rule8 % int2)) triple7) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple3) -> (rule3 % int3)) ((triple3 triple9) -> (rule6 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((triple5) -> (rule8 % int3)) ((triple3 triple9) -> (rule6 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((triple6 ((triple3 ((triple8) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((triple6 ((((triple5) -> (rule2 % int3)) triple9) -> (rule6 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((triple5) -> (rule2 % int3))) -> (rule3 % int2)) triple7) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((triple6 ((((triple5) -> (rule2 % int4)) ((triple8) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((triple3) -> (rule3 % int4)) ((triple3 ((triple8) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((triple3) -> (rule3 % int4)) ((((triple5) -> (rule2 % int3)) triple9) -> (rule6 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((triple5) -> (rule8 % int4)) ((triple3 ((triple8) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((triple5) -> (rule8 % int4)) ((((triple5) -> (rule2 % int3)) triple9) -> (rule6 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((triple5) -> (rule2 % int4))) -> (rule3 % int3)) ((triple3 triple9) -> (rule6 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((triple3) -> (rule3 % int5)) ((((triple5) -> (rule2 % int4)) ((triple8) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((triple5) -> (rule8 % int5)) ((((triple5) -> (rule2 % int4)) ((triple8) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple5) -> (rule2 % int5))) -> (rule3 % int4)) ((triple3 ((triple8) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((((triple5) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple5) -> (rule2 % int4)) triple9) -> (rule6 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple5) -> (rule2 % int5))) -> (rule3 % int4)) ((((triple5) -> (rule2 % int5)) ((triple8) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
triple5
Gary is quiet.
("Gary" "is" "quiet" "+")
triple6
((triple3) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple5) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((((triple5) -> (rule2 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple9 triple4) -> (rule7 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((((triple8) -> (rule5 % int3)) triple4) -> (rule7 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
triple7
((triple3 triple9) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple3 ((triple8) -> (rule5 % int2))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple5) -> (rule2 % int2)) triple9) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple9 triple4) -> (rule7 % int2)) triple9) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple5) -> (rule2 % int3)) ((triple8) -> (rule5 % int2))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((triple9 triple4) -> (rule7 % int3)) ((triple8) -> (rule5 % int2))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((triple8) -> (rule5 % int3)) triple4) -> (rule7 % int2)) triple9) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((((triple8) -> (rule5 % int3)) triple4) -> (rule7 % int2)) ((triple8) -> (rule5 % int3))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple9
((triple8) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
triple10
((triple12) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((triple16 triple11) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((triple16 ((triple13 triple14) -> (rule4 % int2))) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple15) -> (rule5 % int2)) triple11) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple15) -> (rule5 % int3)) ((triple13 triple14) -> (rule4 % int2))) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((triple16 ((((triple12) -> (rule8 % int3)) triple14) -> (rule4 % int2))) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((triple15) -> (rule5 % int4)) ((((triple12) -> (rule8 % int3)) triple14) -> (rule4 % int2))) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
triple11
((triple13 triple14) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple13 ((triple10 triple16) -> (rule6 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple10) -> (rule3 % int2)) triple14) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((triple12) -> (rule8 % int2)) triple14) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((triple10) -> (rule3 % int3)) ((triple10 triple16) -> (rule6 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((triple12) -> (rule8 % int3)) ((triple10 triple16) -> (rule6 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((triple13 ((triple10 ((triple15) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((triple13 ((((triple12) -> (rule2 % int3)) triple16) -> (rule6 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple12) -> (rule2 % int3))) -> (rule3 % int2)) triple14) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((triple13 ((((triple12) -> (rule2 % int4)) ((triple15) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple10) -> (rule3 % int4)) ((triple10 ((triple15) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((triple10) -> (rule3 % int4)) ((((triple12) -> (rule2 % int3)) triple16) -> (rule6 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((triple12) -> (rule8 % int4)) ((triple10 ((triple15) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((triple12) -> (rule8 % int4)) ((((triple12) -> (rule2 % int3)) triple16) -> (rule6 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((((triple12) -> (rule2 % int4))) -> (rule3 % int3)) ((triple10 triple16) -> (rule6 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple10) -> (rule3 % int5)) ((((triple12) -> (rule2 % int4)) ((triple15) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((triple12) -> (rule8 % int5)) ((((triple12) -> (rule2 % int4)) ((triple15) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((((triple12) -> (rule2 % int5))) -> (rule3 % int4)) ((triple10 ((triple15) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple12) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple12) -> (rule2 % int4)) triple16) -> (rule6 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((triple12) -> (rule2 % int5))) -> (rule3 % int4)) ((((triple12) -> (rule2 % int5)) ((triple15) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
((triple10) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((triple12) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((((triple12) -> (rule2 % int2))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple16 triple11) -> (rule7 % int2))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((((triple15) -> (rule5 % int3)) triple11) -> (rule7 % int2))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
triple14
((triple10 triple16) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((triple10 ((triple15) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple12) -> (rule2 % int2)) triple16) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple16 triple11) -> (rule7 % int2)) triple16) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple12) -> (rule2 % int3)) ((triple15) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple16 triple11) -> (rule7 % int3)) ((triple15) -> (rule5 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple15) -> (rule5 % int3)) triple11) -> (rule7 % int2)) triple16) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((((triple15) -> (rule5 % int3)) triple11) -> (rule7 % int2)) ((triple15) -> (rule5 % int3))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
((triple15) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
((triple2) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((triple1) -> (rule5 % int2))) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((((triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
((((triple2) -> (rule1 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((((triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((((triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((((triple1) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
((((((triple2) -> (rule1 % int3))) -> (rule2 % int2)) triple2) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple2) -> (rule1 % int4))) -> (rule2 % int3)) ((triple1) -> (rule5 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) triple2) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) ((triple1) -> (rule5 % int4))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
((((((triple2) -> (rule1 % int5))) -> (rule8 % int4)) ((((((triple2) -> (rule1 % int5))) -> (rule2 % int3)) triple2) -> (rule6 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((triple2) -> (rule1 % int6))) -> (rule8 % int5)) ((((((triple2) -> (rule1 % int6))) -> (rule2 % int4)) ((triple1) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((((((triple1) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule8 % int4)) ((((((triple2) -> (rule1 % int5))) -> (rule2 % int3)) triple2) -> (rule6 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((triple2) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((((((triple2) -> (rule1 % int5))) -> (rule2 % int4)) triple2) -> (rule6 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((((triple1) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule8 % int4)) ((((((triple2) -> (rule1 % int5))) -> (rule2 % int3)) ((triple1) -> (rule5 % int6))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((triple2) -> (rule1 % int6))) -> (rule2 % int5))) -> (rule3 % int4)) ((((((triple2) -> (rule1 % int6))) -> (rule2 % int5)) ((triple1) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((((triple2) -> (rule1 % int6))) -> (rule8 % int5)) ((((((((triple1) -> (rule5 % int4))) -> (rule1 % int6))) -> (rule2 % int3)) triple2) -> (rule6 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((((triple2) -> (rule1 % int6))) -> (rule8 % int5)) ((((((((triple1) -> (rule5 % int4))) -> (rule1 % int6))) -> (rule2 % int3)) ((triple1) -> (rule5 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((((((triple1) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule8 % int4)) ((((((((triple1) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule2 % int3)) triple2) -> (rule6 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((triple2) -> (rule1 % int6))) -> (rule2 % int5))) -> (rule3 % int4)) ((((((((triple1) -> (rule5 % int3))) -> (rule1 % int6))) -> (rule2 % int5)) triple2) -> (rule6 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((((((((triple1) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((((((triple2) -> (rule1 % int5))) -> (rule2 % int4)) triple2) -> (rule6 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((triple1) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule8 % int4)) ((((((((triple1) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule2 % int3)) ((triple1) -> (rule5 % int6))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((triple2) -> (rule1 % int6))) -> (rule2 % int5))) -> (rule3 % int4)) ((((((((triple1) -> (rule5 % int3))) -> (rule1 % int6))) -> (rule2 % int5)) ((triple1) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((((((((triple1) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((((((triple2) -> (rule1 % int5))) -> (rule2 % int4)) ((triple1) -> (rule5 % int6))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((((triple1) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((((((((triple1) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule2 % int4)) triple2) -> (rule6 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((((triple1) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((((((((triple1) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule2 % int4)) ((triple1) -> (rule5 % int6))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6