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