Anne is big. Anne is cold. Anne is nice. Anne is quiet. Anne is red. Anne is round. Dave is big. Dave is cold. Dave is quiet. Dave is red. Dave is smart. Harry is nice. Harry is quiet. Harry is red. Harry is round. Harry is smart. If something is smart and red then it is round. All quiet things are big. All big things are round. If something is quiet and red then it is smart. If something is round and smart then it is nice. Round things are red. All big things are quiet. If Anne is big then Anne is quiet.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If something is smart and red then it is round.
((("something" "is" "smart" "+") ("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
All quiet things are big.
((("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
All big things are round.
((("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
If something is quiet and red then it is smart.
((("something" "is" "quiet" "+") ("something" "is" "red" "+")) -> ("something" "is" "smart" "+"))
If something is round and smart then it is nice.
((("something" "is" "round" "+") ("something" "is" "smart" "+")) -> ("something" "is" "nice" "+"))
Round things are red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
All big things are quiet.
((("something" "is" "big" "+")) -> ("something" "is" "quiet" "+"))
If Anne is big then Anne is quiet.
((("Anne" "is" "big" "+")) -> ("Anne" "is" "quiet" "+"))
Anne is round.
True
1
proof
[(triple6 OR ((triple1) -> rule3) OR ((((triple4) -> rule2)) -> rule3) OR ((((triple4 triple5) -> rule4) triple5) -> rule1) OR ((((((triple1) -> rule7) triple5) -> rule4) triple5) -> rule1) OR ((((((triple1) -> rule8) triple5) -> rule4) triple5) -> rule1))]
("Anne" "is" "round" "+")
triple6
((triple1) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((triple4 triple5) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((((triple1) -> (rule7 % int3)) triple5) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((((triple1) -> (rule8 % int3)) triple5) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Dave is not red.
False
1
inv-proof
[(triple10 OR ((((triple7) -> rule3)) -> rule6) OR ((((((triple9) -> rule2)) -> rule3)) -> rule6))]
("Dave" "is" "red" "-")
triple10
((((triple7) -> (rule3 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((((triple9) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Harry is big.
True
2
proof
[(((triple13) -> rule2))]
("Harry" "is" "big" "+")
((triple13) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Anne is not smart.
False
3
inv-proof
[(((triple4 triple5) -> rule4) OR ((triple4 ((triple6) -> rule6)) -> rule4) OR ((((triple1) -> rule7) triple5) -> rule4) OR ((((triple1) -> rule8) triple5) -> rule4) OR ((((triple1) -> rule7) ((triple6) -> rule6)) -> rule4) OR ((((triple1) -> rule8) ((triple6) -> rule6)) -> rule4) OR ((triple4 ((((triple1) -> rule3)) -> rule6)) -> rule4) OR ((((triple1) -> rule7) ((((triple1) -> rule3)) -> rule6)) -> rule4) OR ((((triple1) -> rule8) ((((triple1) -> rule3)) -> rule6)) -> rule4) OR ((triple4 ((((((triple4) -> rule2)) -> rule3)) -> rule6)) -> rule4) OR ((((triple1) -> rule7) ((((((triple4) -> rule2)) -> rule3)) -> rule6)) -> rule4) OR ((((triple1) -> rule8) ((((((triple4) -> rule2)) -> rule3)) -> rule6)) -> rule4))]
("Anne" "is" "smart" "-")
((triple4 triple5) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((triple4 ((triple6) -> (rule6 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((triple1) -> (rule7 % int2)) triple5) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((triple1) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((triple1) -> (rule7 % int3)) ((triple6) -> (rule6 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((triple1) -> (rule8 % int3)) ((triple6) -> (rule6 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((triple4 ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((triple1) -> (rule7 % int4)) ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((triple1) -> (rule8 % int4)) ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((triple4 ((((((triple4) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((triple1) -> (rule7 % int5)) ((((((triple4) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((triple1) -> (rule8 % int5)) ((((((triple4) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
@0: Anne is big.[(triple1 OR ((triple4) -> rule2))] Anne is cold.[(triple2)] Anne is nice.[(triple3 OR ((triple6 ((triple4 triple5) -> rule4)) -> rule5) OR ((((triple1) -> rule3) ((triple4 triple5) -> rule4)) -> rule5) OR ((triple6 ((triple4 ((triple6) -> rule6)) -> rule4)) -> rule5) OR ((triple6 ((((triple1) -> rule7) triple5) -> rule4)) -> rule5) OR ((triple6 ((((triple1) -> rule8) triple5) -> rule4)) -> rule5) OR ((triple6 ((((triple1) -> rule7) ((triple6) -> rule6)) -> rule4)) -> rule5) OR ((triple6 ((((triple1) -> rule8) ((triple6) -> rule6)) -> rule4)) -> rule5) OR ((((triple1) -> rule3) ((triple4 ((triple6) -> rule6)) -> rule4)) -> rule5) OR ((((triple1) -> rule3) ((((triple1) -> rule7) triple5) -> rule4)) -> rule5) OR ((((triple1) -> rule3) ((((triple1) -> rule8) triple5) -> rule4)) -> rule5) OR ((((((triple4) -> rule2)) -> rule3) ((triple4 triple5) -> rule4)) -> rule5) OR ((((((triple4 triple5) -> rule4) triple5) -> rule1) ((triple4 triple5) -> rule4)) -> rule5) OR ((((triple1) -> rule3) ((((triple1) -> rule7) ((triple6) -> rule6)) -> rule4)) -> rule5) OR ((((triple1) -> rule3) ((((triple1) -> rule8) ((triple6) -> rule6)) -> rule4)) -> rule5) OR ((((((triple4) -> rule2)) -> rule3) ((triple4 ((triple6) -> rule6)) -> rule4)) -> rule5) OR ((((((triple4) -> rule2)) -> rule3) ((((triple1) -> rule7) triple5) -> rule4)) -> rule5) OR ((((((triple4) -> rule2)) -> rule3) ((((triple1) -> rule8) triple5) -> rule4)) -> rule5) OR ((((((triple4 triple5) -> rule4) triple5) -> rule1) ((triple4 ((triple6) -> rule6)) -> rule4)) -> rule5) OR ((((((triple4 triple5) -> rule4) triple5) -> rule1) ((((triple1) -> rule7) triple5) -> rule4)) -> rule5) OR ((((((triple4 triple5) -> rule4) triple5) -> rule1) ((((triple1) -> rule8) triple5) -> rule4)) -> rule5) OR ((((((triple4) -> rule2)) -> rule3) ((((triple1) -> rule7) ((triple6) -> rule6)) -> rule4)) -> rule5) OR ((((((triple4) -> rule2)) -> rule3) ((((triple1) -> rule8) ((triple6) -> rule6)) -> rule4)) -> rule5) OR ((((((triple4 triple5) -> rule4) triple5) -> rule1) ((((triple1) -> rule7) ((triple6) -> rule6)) -> rule4)) -> rule5) OR ((((((triple4 triple5) -> rule4) triple5) -> rule1) ((((triple1) -> rule8) ((triple6) -> rule6)) -> rule4)) -> rule5) OR ((triple6 ((triple4 ((((triple1) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((triple6 ((((triple1) -> rule7) ((((triple1) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((triple6 ((((triple1) -> rule8) ((((triple1) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((triple1) -> rule3) ((triple4 ((((triple1) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple1) -> rule7) triple5) -> rule4) triple5) -> rule1) ((triple4 triple5) -> rule4)) -> rule5) OR ((((((((triple1) -> rule8) triple5) -> rule4) triple5) -> rule1) ((triple4 triple5) -> rule4)) -> rule5) OR ((((triple1) -> rule3) ((((triple1) -> rule7) ((((triple1) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((triple1) -> rule3) ((((triple1) -> rule8) ((((triple1) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((triple4) -> rule2)) -> rule3) ((triple4 ((((triple1) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((triple4 triple5) -> rule4) triple5) -> rule1) ((triple4 ((((triple1) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple1) -> rule7) triple5) -> rule4) triple5) -> rule1) ((triple4 ((triple6) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple1) -> rule7) triple5) -> rule4) triple5) -> rule1) ((((triple1) -> rule7) triple5) -> rule4)) -> rule5) OR ((((((((triple1) -> rule7) triple5) -> rule4) triple5) -> rule1) ((((triple1) -> rule8) triple5) -> rule4)) -> rule5) OR ((((((((triple1) -> rule8) triple5) -> rule4) triple5) -> rule1) ((triple4 ((triple6) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple1) -> rule8) triple5) -> rule4) triple5) -> rule1) ((((triple1) -> rule7) triple5) -> rule4)) -> rule5) OR ((((((((triple1) -> rule8) triple5) -> rule4) triple5) -> rule1) ((((triple1) -> rule8) triple5) -> rule4)) -> rule5) OR ((((((triple4) -> rule2)) -> rule3) ((((triple1) -> rule7) ((((triple1) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((triple4) -> rule2)) -> rule3) ((((triple1) -> rule8) ((((triple1) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((triple4 triple5) -> rule4) triple5) -> rule1) ((((triple1) -> rule7) ((((triple1) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((triple4 triple5) -> rule4) triple5) -> rule1) ((((triple1) -> rule8) ((((triple1) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple1) -> rule7) triple5) -> rule4) triple5) -> rule1) ((triple4 ((((triple1) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple1) -> rule7) triple5) -> rule4) triple5) -> rule1) ((((triple1) -> rule7) ((triple6) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple1) -> rule7) triple5) -> rule4) triple5) -> rule1) ((((triple1) -> rule8) ((triple6) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple1) -> rule8) triple5) -> rule4) triple5) -> rule1) ((triple4 ((((triple1) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple1) -> rule8) triple5) -> rule4) triple5) -> rule1) ((((triple1) -> rule7) ((triple6) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple1) -> rule8) triple5) -> rule4) triple5) -> rule1) ((((triple1) -> rule8) ((triple6) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple1) -> rule7) triple5) -> rule4) triple5) -> rule1) ((((triple1) -> rule7) ((((triple1) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple1) -> rule7) triple5) -> rule4) triple5) -> rule1) ((((triple1) -> rule8) ((((triple1) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple1) -> rule8) triple5) -> rule4) triple5) -> rule1) ((((triple1) -> rule7) ((((triple1) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple1) -> rule8) triple5) -> rule4) triple5) -> rule1) ((((triple1) -> rule8) ((((triple1) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((triple6 ((triple4 ((((((triple4) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((triple6 ((((triple1) -> rule7) ((((((triple4) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((triple6 ((((triple1) -> rule8) ((((((triple4) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((triple1) -> rule3) ((triple4 ((((((triple4) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((triple1) -> rule3) ((((triple1) -> rule7) ((((((triple4) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((triple1) -> rule3) ((((triple1) -> rule8) ((((((triple4) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((triple4) -> rule2)) -> rule3) ((triple4 ((((((triple4) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((triple4 triple5) -> rule4) triple5) -> rule1) ((triple4 ((((((triple4) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((triple4) -> rule2)) -> rule3) ((((triple1) -> rule7) ((((((triple4) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((triple4) -> rule2)) -> rule3) ((((triple1) -> rule8) ((((((triple4) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((triple4 triple5) -> rule4) triple5) -> rule1) ((((triple1) -> rule7) ((((((triple4) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((triple4 triple5) -> rule4) triple5) -> rule1) ((((triple1) -> rule8) ((((((triple4) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple1) -> rule7) triple5) -> rule4) triple5) -> rule1) ((triple4 ((((((triple4) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple1) -> rule8) triple5) -> rule4) triple5) -> rule1) ((triple4 ((((((triple4) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple1) -> rule7) triple5) -> rule4) triple5) -> rule1) ((((triple1) -> rule7) ((((((triple4) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple1) -> rule7) triple5) -> rule4) triple5) -> rule1) ((((triple1) -> rule8) ((((((triple4) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple1) -> rule8) triple5) -> rule4) triple5) -> rule1) ((((triple1) -> rule7) ((((((triple4) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple1) -> rule8) triple5) -> rule4) triple5) -> rule1) ((((triple1) -> rule8) ((((((triple4) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5))] Anne is quiet.[(triple4 OR ((triple1) -> rule7) OR ((triple1) -> rule8))] Anne is red.[(triple5 OR ((triple6) -> rule6) OR ((((triple1) -> rule3)) -> rule6) OR ((((((triple4) -> rule2)) -> rule3)) -> rule6))] Anne is round.[(triple6 OR ((triple1) -> rule3) OR ((((triple4) -> rule2)) -> rule3) OR ((((triple4 triple5) -> rule4) triple5) -> rule1) OR ((((((triple1) -> rule7) triple5) -> rule4) triple5) -> rule1) OR ((((((triple1) -> rule8) triple5) -> rule4) triple5) -> rule1))] Dave is big.[(triple7 OR ((triple9) -> rule2))] Dave is cold.[(triple8)] Dave is quiet.[(triple9 OR ((triple7) -> rule7))] Dave is red.[(triple10 OR ((((triple7) -> rule3)) -> rule6) OR ((((((triple9) -> rule2)) -> rule3)) -> rule6))] Dave is smart.[(triple11 OR ((triple9 triple10) -> rule4) OR ((((triple7) -> rule7) triple10) -> rule4) OR ((triple9 ((((triple7) -> rule3)) -> rule6)) -> rule4) OR ((((triple7) -> rule7) ((((triple7) -> rule3)) -> rule6)) -> rule4) OR ((triple9 ((((((triple9) -> rule2)) -> rule3)) -> rule6)) -> rule4) OR ((((triple7) -> rule7) ((((((triple9) -> rule2)) -> rule3)) -> rule6)) -> rule4))] Harry is nice.[(triple12 OR ((triple15 triple16) -> rule5) OR ((triple15 ((triple13 triple14) -> rule4)) -> rule5) OR ((((triple16 triple14) -> rule1) triple16) -> rule5) OR ((((triple16 triple14) -> rule1) ((triple13 triple14) -> rule4)) -> rule5) OR ((triple15 ((triple13 ((triple15) -> rule6)) -> rule4)) -> rule5) OR ((((((triple13) -> rule2)) -> rule3) triple16) -> rule5) OR ((((((triple13 triple14) -> rule4) triple14) -> rule1) triple16) -> rule5) OR ((((((triple13) -> rule2)) -> rule3) ((triple13 triple14) -> rule4)) -> rule5) OR ((((triple16 triple14) -> rule1) ((triple13 ((triple15) -> rule6)) -> rule4)) -> rule5) OR ((((((triple13 triple14) -> rule4) triple14) -> rule1) ((triple13 triple14) -> rule4)) -> rule5) OR ((((((triple13) -> rule2)) -> rule3) ((triple13 ((triple15) -> rule6)) -> rule4)) -> rule5) OR ((((((triple13 triple14) -> rule4) triple14) -> rule1) ((triple13 ((triple15) -> rule6)) -> rule4)) -> rule5) OR ((triple15 ((triple13 ((((((triple13) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((triple16 triple14) -> rule1) ((triple13 ((((((triple13) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((triple13) -> rule2)) -> rule3) ((triple13 ((((((triple13) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((triple13 triple14) -> rule4) triple14) -> rule1) ((triple13 ((((((triple13) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5))] Harry is quiet.[(triple13)] Harry is red.[(triple14 OR ((triple15) -> rule6) OR ((((((triple13) -> rule2)) -> rule3)) -> rule6))] Harry is round.[(triple15 OR ((triple16 triple14) -> rule1) OR ((((triple13) -> rule2)) -> rule3) OR ((((triple13 triple14) -> rule4) triple14) -> rule1))] Harry is smart.[(triple16 OR ((triple13 triple14) -> rule4) OR ((triple13 ((triple15) -> rule6)) -> rule4) OR ((triple13 ((((((triple13) -> rule2)) -> rule3)) -> rule6)) -> rule4))] @1: Anne is smart.[(((triple4 triple5) -> rule4) OR ((triple4 ((triple6) -> rule6)) -> rule4) OR ((((triple1) -> rule7) triple5) -> rule4) OR ((((triple1) -> rule8) triple5) -> rule4) OR ((((triple1) -> rule7) ((triple6) -> rule6)) -> rule4) OR ((((triple1) -> rule8) ((triple6) -> rule6)) -> rule4) OR ((triple4 ((((triple1) -> rule3)) -> rule6)) -> rule4) OR ((((triple1) -> rule7) ((((triple1) -> rule3)) -> rule6)) -> rule4) OR ((((triple1) -> rule8) ((((triple1) -> rule3)) -> rule6)) -> rule4) OR ((triple4 ((((((triple4) -> rule2)) -> rule3)) -> rule6)) -> rule4) OR ((((triple1) -> rule7) ((((((triple4) -> rule2)) -> rule3)) -> rule6)) -> rule4) OR ((((triple1) -> rule8) ((((((triple4) -> rule2)) -> rule3)) -> rule6)) -> rule4))] Dave is round.[(((triple7) -> rule3) OR ((triple11 triple10) -> rule1) OR ((((triple9) -> rule2)) -> rule3) OR ((((triple9 triple10) -> rule4) triple10) -> rule1) OR ((((((triple7) -> rule7) triple10) -> rule4) triple10) -> rule1))] Harry is big.[(((triple13) -> rule2))] @2: Dave is nice.[(((((triple7) -> rule3) triple11) -> rule5) OR ((((triple11 triple10) -> rule1) triple11) -> rule5) OR ((((triple7) -> rule3) ((triple9 triple10) -> rule4)) -> rule5) OR ((((triple11 triple10) -> rule1) ((triple9 triple10) -> rule4)) -> rule5) OR ((((((triple9) -> rule2)) -> rule3) triple11) -> rule5) OR ((((((triple9 triple10) -> rule4) triple10) -> rule1) triple11) -> rule5) OR ((((triple7) -> rule3) ((((triple7) -> rule7) triple10) -> rule4)) -> rule5) OR ((((((triple9) -> rule2)) -> rule3) ((triple9 triple10) -> rule4)) -> rule5) OR ((((triple11 triple10) -> rule1) ((((triple7) -> rule7) triple10) -> rule4)) -> rule5) OR ((((((triple9 triple10) -> rule4) triple10) -> rule1) ((triple9 triple10) -> rule4)) -> rule5) OR ((((((triple9) -> rule2)) -> rule3) ((((triple7) -> rule7) triple10) -> rule4)) -> rule5) OR ((((((triple9 triple10) -> rule4) triple10) -> rule1) ((((triple7) -> rule7) triple10) -> rule4)) -> rule5) OR ((((((((triple7) -> rule7) triple10) -> rule4) triple10) -> rule1) triple11) -> rule5) OR ((((triple7) -> rule3) ((triple9 ((((triple7) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((triple11 triple10) -> rule1) ((triple9 ((((triple7) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple7) -> rule7) triple10) -> rule4) triple10) -> rule1) ((triple9 triple10) -> rule4)) -> rule5) OR ((((triple7) -> rule3) ((((triple7) -> rule7) ((((triple7) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((triple9) -> rule2)) -> rule3) ((triple9 ((((triple7) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((triple11 triple10) -> rule1) ((((triple7) -> rule7) ((((triple7) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((triple9 triple10) -> rule4) triple10) -> rule1) ((triple9 ((((triple7) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple7) -> rule7) triple10) -> rule4) triple10) -> rule1) ((((triple7) -> rule7) triple10) -> rule4)) -> rule5) OR ((((((triple9) -> rule2)) -> rule3) ((((triple7) -> rule7) ((((triple7) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((triple9 triple10) -> rule4) triple10) -> rule1) ((((triple7) -> rule7) ((((triple7) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple7) -> rule7) triple10) -> rule4) triple10) -> rule1) ((triple9 ((((triple7) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple7) -> rule7) triple10) -> rule4) triple10) -> rule1) ((((triple7) -> rule7) ((((triple7) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((triple7) -> rule3) ((triple9 ((((((triple9) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((triple11 triple10) -> rule1) ((triple9 ((((((triple9) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((triple7) -> rule3) ((((triple7) -> rule7) ((((((triple9) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((triple9) -> rule2)) -> rule3) ((triple9 ((((((triple9) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((triple11 triple10) -> rule1) ((((triple7) -> rule7) ((((((triple9) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((triple9 triple10) -> rule4) triple10) -> rule1) ((triple9 ((((((triple9) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((triple9) -> rule2)) -> rule3) ((((triple7) -> rule7) ((((((triple9) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((triple9 triple10) -> rule4) triple10) -> rule1) ((((triple7) -> rule7) ((((((triple9) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple7) -> rule7) triple10) -> rule4) triple10) -> rule1) ((triple9 ((((((triple9) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5) OR ((((((((triple7) -> rule7) triple10) -> rule4) triple10) -> rule1) ((((triple7) -> rule7) ((((((triple9) -> rule2)) -> rule3)) -> rule6)) -> rule4)) -> rule5))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple4) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
((triple6 ((triple4 triple5) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((triple1) -> (rule3 % int3)) ((triple4 triple5) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((triple6 ((triple4 ((triple6) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((triple6 ((((triple1) -> (rule7 % int3)) triple5) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((triple6 ((((triple1) -> (rule8 % int3)) triple5) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((triple6 ((((triple1) -> (rule7 % int4)) ((triple6) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((triple6 ((((triple1) -> (rule8 % int4)) ((triple6) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((triple1) -> (rule3 % int4)) ((triple4 ((triple6) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple1) -> (rule3 % int4)) ((((triple1) -> (rule7 % int3)) triple5) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple1) -> (rule3 % int4)) ((((triple1) -> (rule8 % int3)) triple5) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((triple4) -> (rule2 % int4))) -> (rule3 % int3)) ((triple4 triple5) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((triple4 triple5) -> (rule4 % int3)) triple5) -> (rule1 % int2)) ((triple4 triple5) -> (rule4 % int3))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((triple1) -> (rule3 % int5)) ((((triple1) -> (rule7 % int4)) ((triple6) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((triple1) -> (rule3 % int5)) ((((triple1) -> (rule8 % int4)) ((triple6) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((triple4) -> (rule2 % int5))) -> (rule3 % int4)) ((triple4 ((triple6) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((triple4) -> (rule2 % int5))) -> (rule3 % int4)) ((((triple1) -> (rule7 % int3)) triple5) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((triple4) -> (rule2 % int5))) -> (rule3 % int4)) ((((triple1) -> (rule8 % int3)) triple5) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((triple4 triple5) -> (rule4 % int4)) triple5) -> (rule1 % int3)) ((triple4 ((triple6) -> (rule6 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((triple4 triple5) -> (rule4 % int4)) triple5) -> (rule1 % int3)) ((((triple1) -> (rule7 % int2)) triple5) -> (rule4 % int4))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((triple4 triple5) -> (rule4 % int4)) triple5) -> (rule1 % int3)) ((((triple1) -> (rule8 % int2)) triple5) -> (rule4 % int4))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((triple4) -> (rule2 % int6))) -> (rule3 % int5)) ((((triple1) -> (rule7 % int4)) ((triple6) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
((((((triple4) -> (rule2 % int6))) -> (rule3 % int5)) ((((triple1) -> (rule8 % int4)) ((triple6) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
((((((triple4 triple5) -> (rule4 % int5)) triple5) -> (rule1 % int4)) ((((triple1) -> (rule7 % int3)) ((triple6) -> (rule6 % int2))) -> (rule4 % int5))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((triple4 triple5) -> (rule4 % int5)) triple5) -> (rule1 % int4)) ((((triple1) -> (rule8 % int3)) ((triple6) -> (rule6 % int2))) -> (rule4 % int5))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((triple6 ((triple4 ((((triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((triple6 ((((triple1) -> (rule7 % int5)) ((((triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((triple6 ((((triple1) -> (rule8 % int5)) ((((triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((triple1) -> (rule3 % int4)) ((triple4 ((((triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((((((triple1) -> (rule7 % int4)) triple5) -> (rule4 % int3)) triple5) -> (rule1 % int2)) ((triple4 triple5) -> (rule4 % int3))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((((((triple1) -> (rule8 % int4)) triple5) -> (rule4 % int3)) triple5) -> (rule1 % int2)) ((triple4 triple5) -> (rule4 % int3))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((triple1) -> (rule3 % int5)) ((((triple1) -> (rule7 % int4)) ((((triple1) -> (rule3 % int5))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((triple1) -> (rule3 % int5)) ((((triple1) -> (rule8 % int4)) ((((triple1) -> (rule3 % int5))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((triple4) -> (rule2 % int5))) -> (rule3 % int4)) ((triple4 ((((triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((triple4 triple5) -> (rule4 % int4)) triple5) -> (rule1 % int3)) ((triple4 ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((((triple1) -> (rule7 % int5)) triple5) -> (rule4 % int4)) triple5) -> (rule1 % int3)) ((triple4 ((triple6) -> (rule6 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((triple1) -> (rule7 % int4)) triple5) -> (rule4 % int3)) triple5) -> (rule1 % int2)) ((((triple1) -> (rule7 % int4)) triple5) -> (rule4 % int3))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((((((triple1) -> (rule7 % int4)) triple5) -> (rule4 % int3)) triple5) -> (rule1 % int2)) ((((triple1) -> (rule8 % int4)) triple5) -> (rule4 % int3))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((((((triple1) -> (rule8 % int5)) triple5) -> (rule4 % int4)) triple5) -> (rule1 % int3)) ((triple4 ((triple6) -> (rule6 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((triple1) -> (rule8 % int4)) triple5) -> (rule4 % int3)) triple5) -> (rule1 % int2)) ((((triple1) -> (rule7 % int4)) triple5) -> (rule4 % int3))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((((((triple1) -> (rule8 % int4)) triple5) -> (rule4 % int3)) triple5) -> (rule1 % int2)) ((((triple1) -> (rule8 % int4)) triple5) -> (rule4 % int3))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((((triple4) -> (rule2 % int6))) -> (rule3 % int5)) ((((triple1) -> (rule7 % int4)) ((((triple1) -> (rule3 % int5))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
((((((triple4) -> (rule2 % int6))) -> (rule3 % int5)) ((((triple1) -> (rule8 % int4)) ((((triple1) -> (rule3 % int5))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
((((((triple4 triple5) -> (rule4 % int5)) triple5) -> (rule1 % int4)) ((((triple1) -> (rule7 % int3)) ((((triple1) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule4 % int5))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((triple4 triple5) -> (rule4 % int5)) triple5) -> (rule1 % int4)) ((((triple1) -> (rule8 % int3)) ((((triple1) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule4 % int5))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((triple1) -> (rule7 % int5)) triple5) -> (rule4 % int4)) triple5) -> (rule1 % int3)) ((triple4 ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((triple1) -> (rule7 % int5)) triple5) -> (rule4 % int4)) triple5) -> (rule1 % int3)) ((((triple1) -> (rule7 % int5)) ((triple6) -> (rule6 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((triple1) -> (rule7 % int5)) triple5) -> (rule4 % int4)) triple5) -> (rule1 % int3)) ((((triple1) -> (rule8 % int5)) ((triple6) -> (rule6 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((triple1) -> (rule8 % int5)) triple5) -> (rule4 % int4)) triple5) -> (rule1 % int3)) ((triple4 ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((triple1) -> (rule8 % int5)) triple5) -> (rule4 % int4)) triple5) -> (rule1 % int3)) ((((triple1) -> (rule7 % int5)) ((triple6) -> (rule6 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((triple1) -> (rule8 % int5)) triple5) -> (rule4 % int4)) triple5) -> (rule1 % int3)) ((((triple1) -> (rule8 % int5)) ((triple6) -> (rule6 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((triple1) -> (rule7 % int5)) triple5) -> (rule4 % int4)) triple5) -> (rule1 % int3)) ((((triple1) -> (rule7 % int5)) ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((triple1) -> (rule7 % int5)) triple5) -> (rule4 % int4)) triple5) -> (rule1 % int3)) ((((triple1) -> (rule8 % int5)) ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((triple1) -> (rule8 % int5)) triple5) -> (rule4 % int4)) triple5) -> (rule1 % int3)) ((((triple1) -> (rule7 % int5)) ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((triple1) -> (rule8 % int5)) triple5) -> (rule4 % int4)) triple5) -> (rule1 % int3)) ((((triple1) -> (rule8 % int5)) ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((triple6 ((triple4 ((((((triple4) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((triple6 ((((triple1) -> (rule7 % int6)) ((((((triple4) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is quiet.
("Anne" "is" "quiet" "+")
int6
((triple6 ((((triple1) -> (rule8 % int6)) ((((((triple4) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is quiet.
("Anne" "is" "quiet" "+")
int6
((((triple1) -> (rule3 % int5)) ((triple4 ((((((triple4) -> (rule2 % int4))) -> (rule3 % int5))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((triple1) -> (rule3 % int6)) ((((triple1) -> (rule7 % int5)) ((((((triple4) -> (rule2 % int4))) -> (rule3 % int6))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Anne is round.
("Anne" "is" "round" "+")
int6
((((triple1) -> (rule3 % int6)) ((((triple1) -> (rule8 % int5)) ((((((triple4) -> (rule2 % int4))) -> (rule3 % int6))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Anne is round.
("Anne" "is" "round" "+")
int6
((((((triple4) -> (rule2 % int5))) -> (rule3 % int4)) ((triple4 ((((((triple4) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((triple4 triple5) -> (rule4 % int5)) triple5) -> (rule1 % int4)) ((triple4 ((((((triple4) -> (rule2 % int3))) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule4 % int5))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((triple4) -> (rule2 % int6))) -> (rule3 % int5)) ((((triple1) -> (rule7 % int4)) ((((((triple4) -> (rule2 % int6))) -> (rule3 % int5))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
((((((triple4) -> (rule2 % int6))) -> (rule3 % int5)) ((((triple1) -> (rule8 % int4)) ((((((triple4) -> (rule2 % int6))) -> (rule3 % int5))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
((((((triple4 triple5) -> (rule4 % int6)) triple5) -> (rule1 % int5)) ((((triple1) -> (rule7 % int4)) ((((((triple4) -> (rule2 % int3))) -> (rule3 % int5))) -> (rule6 % int2))) -> (rule4 % int6))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
int6
((((((triple4 triple5) -> (rule4 % int6)) triple5) -> (rule1 % int5)) ((((triple1) -> (rule8 % int4)) ((((((triple4) -> (rule2 % int3))) -> (rule3 % int5))) -> (rule6 % int2))) -> (rule4 % int6))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
int6
((((((((triple1) -> (rule7 % int6)) triple5) -> (rule4 % int5)) triple5) -> (rule1 % int4)) ((triple4 ((((((triple4) -> (rule2 % int3))) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule4 % int5))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Anne is quiet.
("Anne" "is" "quiet" "+")
int6
((((((((triple1) -> (rule8 % int6)) triple5) -> (rule4 % int5)) triple5) -> (rule1 % int4)) ((triple4 ((((((triple4) -> (rule2 % int3))) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule4 % int5))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Anne is quiet.
("Anne" "is" "quiet" "+")
int6
((((((((triple1) -> (rule7 % int6)) triple5) -> (rule4 % int5)) triple5) -> (rule1 % int4)) ((((triple1) -> (rule7 % int6)) ((((((triple4) -> (rule2 % int3))) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule4 % int5))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Anne is quiet.
("Anne" "is" "quiet" "+")
int6
((((((((triple1) -> (rule7 % int6)) triple5) -> (rule4 % int5)) triple5) -> (rule1 % int4)) ((((triple1) -> (rule8 % int6)) ((((((triple4) -> (rule2 % int3))) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule4 % int5))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Anne is quiet.
("Anne" "is" "quiet" "+")
int6
((((((((triple1) -> (rule8 % int6)) triple5) -> (rule4 % int5)) triple5) -> (rule1 % int4)) ((((triple1) -> (rule7 % int6)) ((((((triple4) -> (rule2 % int3))) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule4 % int5))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Anne is quiet.
("Anne" "is" "quiet" "+")
int6
((((((((triple1) -> (rule8 % int6)) triple5) -> (rule4 % int5)) triple5) -> (rule1 % int4)) ((((triple1) -> (rule8 % int6)) ((((((triple4) -> (rule2 % int3))) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule4 % int5))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Anne is quiet.
("Anne" "is" "quiet" "+")
int6
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
((triple1) -> (rule7 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((triple1) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
triple5
((triple6) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((((triple1) -> (rule3 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((((((triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
triple6
((triple1) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((triple4 triple5) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((((triple1) -> (rule7 % int3)) triple5) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((((triple1) -> (rule8 % int3)) triple5) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
triple7
((triple9) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
triple8
Dave is quiet.
("Dave" "is" "quiet" "+")
triple9
((triple7) -> (rule7 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
triple10
((((triple7) -> (rule3 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((((triple9) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
triple11
((triple9 triple10) -> (rule4 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((triple7) -> (rule7 % int2)) triple10) -> (rule4 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((triple9 ((((triple7) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((triple7) -> (rule7 % int4)) ((((triple7) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((triple9 ((((((triple9) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((triple7) -> (rule7 % int5)) ((((((triple9) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
triple12
((triple15 triple16) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((triple15 ((triple13 triple14) -> (rule4 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple16 triple14) -> (rule1 % int2)) triple16) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple16 triple14) -> (rule1 % int3)) ((triple13 triple14) -> (rule4 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((triple15 ((triple13 ((triple15) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple13) -> (rule2 % int3))) -> (rule3 % int2)) triple16) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple13 triple14) -> (rule4 % int3)) triple14) -> (rule1 % int2)) triple16) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((((triple13) -> (rule2 % int4))) -> (rule3 % int3)) ((triple13 triple14) -> (rule4 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple16 triple14) -> (rule1 % int4)) ((triple13 ((triple15) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((triple13 triple14) -> (rule4 % int3)) triple14) -> (rule1 % int2)) ((triple13 triple14) -> (rule4 % int3))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((((triple13) -> (rule2 % int5))) -> (rule3 % int4)) ((triple13 ((triple15) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple13 triple14) -> (rule4 % int4)) triple14) -> (rule1 % int3)) ((triple13 ((triple15) -> (rule6 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((triple15 ((triple13 ((((((triple13) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((triple16 triple14) -> (rule1 % int5)) ((triple13 ((((((triple13) -> (rule2 % int4))) -> (rule3 % int5))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((triple13) -> (rule2 % int5))) -> (rule3 % int4)) ((triple13 ((((((triple13) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple13 triple14) -> (rule4 % int5)) triple14) -> (rule1 % int4)) ((triple13 ((((((triple13) -> (rule2 % int3))) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule4 % int5))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
Harry is red.
("Harry" "is" "red" "+")
triple14
((triple15) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((((((triple13) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
triple15
((triple16 triple14) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((triple13) -> (rule2 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple13 triple14) -> (rule4 % int2)) triple14) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
triple16
((triple13 triple14) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((triple13 ((triple15) -> (rule6 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((triple13 ((((((triple13) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
((triple4 triple5) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((triple4 ((triple6) -> (rule6 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((triple1) -> (rule7 % int2)) triple5) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((triple1) -> (rule8 % int2)) triple5) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((triple1) -> (rule7 % int3)) ((triple6) -> (rule6 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((triple1) -> (rule8 % int3)) ((triple6) -> (rule6 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((triple4 ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((triple1) -> (rule7 % int4)) ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((triple1) -> (rule8 % int4)) ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((triple4 ((((((triple4) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((triple1) -> (rule7 % int5)) ((((((triple4) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((triple1) -> (rule8 % int5)) ((((((triple4) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
((triple7) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((triple11 triple10) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((((triple9) -> (rule2 % int2))) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((((triple9 triple10) -> (rule4 % int2)) triple10) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((((triple7) -> (rule7 % int3)) triple10) -> (rule4 % int2)) triple10) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
((triple13) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((((triple7) -> (rule3 % int2)) triple11) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((triple11 triple10) -> (rule1 % int2)) triple11) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((triple7) -> (rule3 % int3)) ((triple9 triple10) -> (rule4 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((triple11 triple10) -> (rule1 % int3)) ((triple9 triple10) -> (rule4 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((((triple9) -> (rule2 % int3))) -> (rule3 % int2)) triple11) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((((triple9 triple10) -> (rule4 % int3)) triple10) -> (rule1 % int2)) triple11) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((triple7) -> (rule3 % int4)) ((((triple7) -> (rule7 % int3)) triple10) -> (rule4 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((triple9) -> (rule2 % int4))) -> (rule3 % int3)) ((triple9 triple10) -> (rule4 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((triple11 triple10) -> (rule1 % int4)) ((((triple7) -> (rule7 % int3)) triple10) -> (rule4 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((triple9 triple10) -> (rule4 % int3)) triple10) -> (rule1 % int2)) ((triple9 triple10) -> (rule4 % int3))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((triple9) -> (rule2 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule7 % int3)) triple10) -> (rule4 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((triple9 triple10) -> (rule4 % int4)) triple10) -> (rule1 % int3)) ((((triple7) -> (rule7 % int2)) triple10) -> (rule4 % int4))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((((((triple7) -> (rule7 % int4)) triple10) -> (rule4 % int3)) triple10) -> (rule1 % int2)) triple11) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((triple7) -> (rule3 % int4)) ((triple9 ((((triple7) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((triple11 triple10) -> (rule1 % int4)) ((triple9 ((((triple7) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((((triple7) -> (rule7 % int4)) triple10) -> (rule4 % int3)) triple10) -> (rule1 % int2)) ((triple9 triple10) -> (rule4 % int3))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule7 % int4)) ((((triple7) -> (rule3 % int5))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((triple9) -> (rule2 % int5))) -> (rule3 % int4)) ((triple9 ((((triple7) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((triple11 triple10) -> (rule1 % int5)) ((((triple7) -> (rule7 % int4)) ((((triple7) -> (rule3 % int5))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((((triple9 triple10) -> (rule4 % int4)) triple10) -> (rule1 % int3)) ((triple9 ((((triple7) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((((((triple7) -> (rule7 % int4)) triple10) -> (rule4 % int3)) triple10) -> (rule1 % int2)) ((((triple7) -> (rule7 % int4)) triple10) -> (rule4 % int3))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((triple9) -> (rule2 % int6))) -> (rule3 % int5)) ((((triple7) -> (rule7 % int4)) ((((triple7) -> (rule3 % int5))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is big.
("Dave" "is" "big" "+")
int6
((((((triple9 triple10) -> (rule4 % int5)) triple10) -> (rule1 % int4)) ((((triple7) -> (rule7 % int3)) ((((triple7) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule4 % int5))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((((((triple7) -> (rule7 % int5)) triple10) -> (rule4 % int4)) triple10) -> (rule1 % int3)) ((triple9 ((((triple7) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((((((triple7) -> (rule7 % int5)) triple10) -> (rule4 % int4)) triple10) -> (rule1 % int3)) ((((triple7) -> (rule7 % int5)) ((((triple7) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
((((triple7) -> (rule3 % int5)) ((triple9 ((((((triple9) -> (rule2 % int4))) -> (rule3 % int5))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((triple11 triple10) -> (rule1 % int5)) ((triple9 ((((((triple9) -> (rule2 % int4))) -> (rule3 % int5))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
((((triple7) -> (rule3 % int6)) ((((triple7) -> (rule7 % int5)) ((((((triple9) -> (rule2 % int4))) -> (rule3 % int6))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((triple9) -> (rule2 % int5))) -> (rule3 % int4)) ((triple9 ((((((triple9) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((triple11 triple10) -> (rule1 % int6)) ((((triple7) -> (rule7 % int5)) ((((((triple9) -> (rule2 % int4))) -> (rule3 % int6))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
int6
((((((triple9 triple10) -> (rule4 % int5)) triple10) -> (rule1 % int4)) ((triple9 ((((((triple9) -> (rule2 % int3))) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule4 % int5))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((((triple9) -> (rule2 % int6))) -> (rule3 % int5)) ((((triple7) -> (rule7 % int4)) ((((((triple9) -> (rule2 % int6))) -> (rule3 % int5))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is big.
("Dave" "is" "big" "+")
int6
((((((triple9 triple10) -> (rule4 % int6)) triple10) -> (rule1 % int5)) ((((triple7) -> (rule7 % int4)) ((((((triple9) -> (rule2 % int3))) -> (rule3 % int5))) -> (rule6 % int2))) -> (rule4 % int6))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is smart.
("Dave" "is" "smart" "+")
int6
((((((((triple7) -> (rule7 % int6)) triple10) -> (rule4 % int5)) triple10) -> (rule1 % int4)) ((triple9 ((((((triple9) -> (rule2 % int3))) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule4 % int5))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Dave is quiet.
("Dave" "is" "quiet" "+")
int6
((((((((triple7) -> (rule7 % int6)) triple10) -> (rule4 % int5)) triple10) -> (rule1 % int4)) ((((triple7) -> (rule7 % int6)) ((((((triple9) -> (rule2 % int3))) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule4 % int5))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Dave is quiet.
("Dave" "is" "quiet" "+")
int6