Harry is blue. Harry is furry. Harry is kind. Harry is nice. Harry is red. Harry is smart. Harry is young. Smart, blue things are young. If something is smart and young then it is nice. All red, furry things are young. All furry things are blue. All red things are smart. All furry, smart things are kind. If Harry is kind then Harry is furry. If something is blue and nice then it is kind.
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
Smart, blue things are young.
((("something" "is" "smart" "+") ("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
If something is smart and young then it is nice.
((("something" "is" "smart" "+") ("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
All red, furry things are young.
((("something" "is" "red" "+") ("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
All furry things are blue.
((("something" "is" "furry" "+")) -> ("something" "is" "blue" "+"))
All red things are smart.
((("something" "is" "red" "+")) -> ("something" "is" "smart" "+"))
All furry, smart things are kind.
((("something" "is" "furry" "+") ("something" "is" "smart" "+")) -> ("something" "is" "kind" "+"))
If Harry is kind then Harry is furry.
((("Harry" "is" "kind" "+")) -> ("Harry" "is" "furry" "+"))
If something is blue and nice then it is kind.
((("something" "is" "blue" "+") ("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
Harry is kind.
True
1
proof
[(triple3 OR ((triple1 triple4) -> rule8) OR ((triple2 triple6) -> rule6) OR ((triple1 ((triple6 triple7) -> rule2)) -> rule8) OR ((triple2 ((triple5) -> rule5)) -> rule6) OR ((((triple2) -> rule4) triple4) -> rule8) OR ((((triple2) -> rule4) ((triple6 triple7) -> rule2)) -> rule8) OR ((triple1 ((triple6 ((triple5 triple2) -> rule3)) -> rule2)) -> rule8) OR ((triple1 ((triple6 ((triple6 triple1) -> rule1)) -> rule2)) -> rule8) OR ((triple1 ((((triple5) -> rule5) triple7) -> rule2)) -> rule8) OR ((triple1 ((((triple5) -> rule5) ((triple5 triple2) -> rule3)) -> rule2)) -> rule8) OR ((triple1 ((((triple5) -> rule5) ((triple6 triple1) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((triple6 ((triple5 triple2) -> rule3)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((triple6 ((triple6 triple1) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((((triple5) -> rule5) triple7) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((((triple5) -> rule5) ((triple5 triple2) -> rule3)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((((triple5) -> rule5) ((triple6 triple1) -> rule1)) -> rule2)) -> rule8) OR ((triple1 ((triple6 ((triple6 ((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule8) OR ((triple1 ((triple6 ((((triple5) -> rule5) triple1) -> rule1)) -> rule2)) -> rule8) OR ((triple1 ((triple6 ((((triple5) -> rule5) ((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule8) OR ((triple1 ((((triple5) -> rule5) ((triple6 ((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule8) OR ((triple1 ((((triple5) -> rule5) ((((triple5) -> rule5) triple1) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((triple6 ((triple6 ((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((triple6 ((((triple5) -> rule5) triple1) -> rule1)) -> rule2)) -> rule8) OR ((triple1 ((((triple5) -> rule5) ((((triple5) -> rule5) ((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((triple6 ((((triple5) -> rule5) ((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((((triple5) -> rule5) ((triple6 ((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((((triple5) -> rule5) ((((triple5) -> rule5) triple1) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((((triple5) -> rule5) ((((triple5) -> rule5) ((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule8))]
("Harry" "is" "kind" "+")
triple3
((triple1 triple4) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple2 triple6) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple1 ((triple6 triple7) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((triple2 ((triple5) -> (rule5 % int2))) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple2) -> (rule4 % int2)) triple4) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple2) -> (rule4 % int3)) ((triple6 triple7) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((triple1 ((triple6 ((triple5 triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((triple1 ((triple6 ((triple6 triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((triple1 ((((triple5) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((triple1 ((((triple5) -> (rule5 % int4)) ((triple5 triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((triple1 ((((triple5) -> (rule5 % int4)) ((triple6 triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((triple2) -> (rule4 % int4)) ((triple6 ((triple5 triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((triple2) -> (rule4 % int4)) ((triple6 ((triple6 triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((triple2) -> (rule4 % int4)) ((((triple5) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((triple2) -> (rule4 % int5)) ((((triple5) -> (rule5 % int4)) ((triple5 triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((triple2) -> (rule4 % int5)) ((((triple5) -> (rule5 % int4)) ((triple6 triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((triple1 ((triple6 ((triple6 ((triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((triple1 ((triple6 ((((triple5) -> (rule5 % int4)) triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((triple1 ((triple6 ((((triple5) -> (rule5 % int5)) ((triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((triple1 ((((triple5) -> (rule5 % int5)) ((triple6 ((triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((triple1 ((((triple5) -> (rule5 % int4)) ((((triple5) -> (rule5 % int4)) triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((triple2) -> (rule4 % int4)) ((triple6 ((triple6 ((triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((triple2) -> (rule4 % int5)) ((triple6 ((((triple5) -> (rule5 % int4)) triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((triple1 ((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5)) ((triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((triple2) -> (rule4 % int5)) ((triple6 ((((triple5) -> (rule5 % int4)) ((triple2) -> (rule4 % int5))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((triple2) -> (rule4 % int5)) ((((triple5) -> (rule5 % int4)) ((triple6 ((triple2) -> (rule4 % int5))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((triple2) -> (rule4 % int5)) ((((triple5) -> (rule5 % int4)) ((((triple5) -> (rule5 % int4)) triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((triple2) -> (rule4 % int5)) ((((triple5) -> (rule5 % int4)) ((((triple5) -> (rule5 % int4)) ((triple2) -> (rule4 % int5))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Harry is not kind.
False
1
inv-proof
[(triple3 OR ((triple1 triple4) -> rule8) OR ((triple2 triple6) -> rule6) OR ((triple1 ((triple6 triple7) -> rule2)) -> rule8) OR ((triple2 ((triple5) -> rule5)) -> rule6) OR ((((triple2) -> rule4) triple4) -> rule8) OR ((((triple2) -> rule4) ((triple6 triple7) -> rule2)) -> rule8) OR ((triple1 ((triple6 ((triple5 triple2) -> rule3)) -> rule2)) -> rule8) OR ((triple1 ((triple6 ((triple6 triple1) -> rule1)) -> rule2)) -> rule8) OR ((triple1 ((((triple5) -> rule5) triple7) -> rule2)) -> rule8) OR ((triple1 ((((triple5) -> rule5) ((triple5 triple2) -> rule3)) -> rule2)) -> rule8) OR ((triple1 ((((triple5) -> rule5) ((triple6 triple1) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((triple6 ((triple5 triple2) -> rule3)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((triple6 ((triple6 triple1) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((((triple5) -> rule5) triple7) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((((triple5) -> rule5) ((triple5 triple2) -> rule3)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((((triple5) -> rule5) ((triple6 triple1) -> rule1)) -> rule2)) -> rule8) OR ((triple1 ((triple6 ((triple6 ((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule8) OR ((triple1 ((triple6 ((((triple5) -> rule5) triple1) -> rule1)) -> rule2)) -> rule8) OR ((triple1 ((triple6 ((((triple5) -> rule5) ((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule8) OR ((triple1 ((((triple5) -> rule5) ((triple6 ((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule8) OR ((triple1 ((((triple5) -> rule5) ((((triple5) -> rule5) triple1) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((triple6 ((triple6 ((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((triple6 ((((triple5) -> rule5) triple1) -> rule1)) -> rule2)) -> rule8) OR ((triple1 ((((triple5) -> rule5) ((((triple5) -> rule5) ((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((triple6 ((((triple5) -> rule5) ((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((((triple5) -> rule5) ((triple6 ((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((((triple5) -> rule5) ((((triple5) -> rule5) triple1) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((((triple5) -> rule5) ((((triple5) -> rule5) ((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule8))]
("Harry" "is" "kind" "-")
triple3
((triple1 triple4) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple2 triple6) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple1 ((triple6 triple7) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((triple2 ((triple5) -> (rule5 % int2))) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple2) -> (rule4 % int2)) triple4) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple2) -> (rule4 % int3)) ((triple6 triple7) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((triple1 ((triple6 ((triple5 triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((triple1 ((triple6 ((triple6 triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((triple1 ((((triple5) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((triple1 ((((triple5) -> (rule5 % int4)) ((triple5 triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((triple1 ((((triple5) -> (rule5 % int4)) ((triple6 triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((triple2) -> (rule4 % int4)) ((triple6 ((triple5 triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((triple2) -> (rule4 % int4)) ((triple6 ((triple6 triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((triple2) -> (rule4 % int4)) ((((triple5) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((triple2) -> (rule4 % int5)) ((((triple5) -> (rule5 % int4)) ((triple5 triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((triple2) -> (rule4 % int5)) ((((triple5) -> (rule5 % int4)) ((triple6 triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((triple1 ((triple6 ((triple6 ((triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((triple1 ((triple6 ((((triple5) -> (rule5 % int4)) triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((triple1 ((triple6 ((((triple5) -> (rule5 % int5)) ((triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((triple1 ((((triple5) -> (rule5 % int5)) ((triple6 ((triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((triple1 ((((triple5) -> (rule5 % int4)) ((((triple5) -> (rule5 % int4)) triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((triple2) -> (rule4 % int4)) ((triple6 ((triple6 ((triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((triple2) -> (rule4 % int5)) ((triple6 ((((triple5) -> (rule5 % int4)) triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((triple1 ((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5)) ((triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((triple2) -> (rule4 % int5)) ((triple6 ((((triple5) -> (rule5 % int4)) ((triple2) -> (rule4 % int5))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((triple2) -> (rule4 % int5)) ((((triple5) -> (rule5 % int4)) ((triple6 ((triple2) -> (rule4 % int5))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((triple2) -> (rule4 % int5)) ((((triple5) -> (rule5 % int4)) ((((triple5) -> (rule5 % int4)) triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((triple2) -> (rule4 % int5)) ((((triple5) -> (rule5 % int4)) ((((triple5) -> (rule5 % int4)) ((triple2) -> (rule4 % int5))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
@0: Harry is blue.[(triple1 OR ((triple2) -> rule4) OR ((((triple3) -> rule7)) -> rule4))] Harry is furry.[(triple2 OR ((triple3) -> rule7) OR ((((triple1 triple4) -> rule8)) -> rule7) OR ((((triple1 ((triple6 triple7) -> rule2)) -> rule8)) -> rule7) OR ((((triple1 ((triple6 ((triple6 triple1) -> rule1)) -> rule2)) -> rule8)) -> rule7) OR ((((triple1 ((((triple5) -> rule5) triple7) -> rule2)) -> rule8)) -> rule7) OR ((((triple1 ((((triple5) -> rule5) ((triple6 triple1) -> rule1)) -> rule2)) -> rule8)) -> rule7) OR ((((triple1 ((triple6 ((((triple5) -> rule5) triple1) -> rule1)) -> rule2)) -> rule8)) -> rule7) OR ((((triple1 ((((triple5) -> rule5) ((((triple5) -> rule5) triple1) -> rule1)) -> rule2)) -> rule8)) -> rule7))] Harry is kind.[(triple3 OR ((triple1 triple4) -> rule8) OR ((triple2 triple6) -> rule6) OR ((triple1 ((triple6 triple7) -> rule2)) -> rule8) OR ((triple2 ((triple5) -> rule5)) -> rule6) OR ((((triple2) -> rule4) triple4) -> rule8) OR ((((triple2) -> rule4) ((triple6 triple7) -> rule2)) -> rule8) OR ((triple1 ((triple6 ((triple5 triple2) -> rule3)) -> rule2)) -> rule8) OR ((triple1 ((triple6 ((triple6 triple1) -> rule1)) -> rule2)) -> rule8) OR ((triple1 ((((triple5) -> rule5) triple7) -> rule2)) -> rule8) OR ((triple1 ((((triple5) -> rule5) ((triple5 triple2) -> rule3)) -> rule2)) -> rule8) OR ((triple1 ((((triple5) -> rule5) ((triple6 triple1) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((triple6 ((triple5 triple2) -> rule3)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((triple6 ((triple6 triple1) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((((triple5) -> rule5) triple7) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((((triple5) -> rule5) ((triple5 triple2) -> rule3)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((((triple5) -> rule5) ((triple6 triple1) -> rule1)) -> rule2)) -> rule8) OR ((triple1 ((triple6 ((triple6 ((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule8) OR ((triple1 ((triple6 ((((triple5) -> rule5) triple1) -> rule1)) -> rule2)) -> rule8) OR ((triple1 ((triple6 ((((triple5) -> rule5) ((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule8) OR ((triple1 ((((triple5) -> rule5) ((triple6 ((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule8) OR ((triple1 ((((triple5) -> rule5) ((((triple5) -> rule5) triple1) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((triple6 ((triple6 ((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((triple6 ((((triple5) -> rule5) triple1) -> rule1)) -> rule2)) -> rule8) OR ((triple1 ((((triple5) -> rule5) ((((triple5) -> rule5) ((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((triple6 ((((triple5) -> rule5) ((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((((triple5) -> rule5) ((triple6 ((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((((triple5) -> rule5) ((((triple5) -> rule5) triple1) -> rule1)) -> rule2)) -> rule8) OR ((((triple2) -> rule4) ((((triple5) -> rule5) ((((triple5) -> rule5) ((triple2) -> rule4)) -> rule1)) -> rule2)) -> rule8))] Harry is nice.[(triple4 OR ((triple6 triple7) -> rule2) OR ((triple6 ((triple5 triple2) -> rule3)) -> rule2) OR ((triple6 ((triple6 triple1) -> rule1)) -> rule2) OR ((((triple5) -> rule5) triple7) -> rule2) OR ((((triple5) -> rule5) ((triple5 triple2) -> rule3)) -> rule2) OR ((((triple5) -> rule5) ((triple6 triple1) -> rule1)) -> rule2) OR ((triple6 ((triple5 ((triple3) -> rule7)) -> rule3)) -> rule2) OR ((triple6 ((triple6 ((triple2) -> rule4)) -> rule1)) -> rule2) OR ((triple6 ((((triple5) -> rule5) triple1) -> rule1)) -> rule2) OR ((triple6 ((((triple5) -> rule5) ((triple2) -> rule4)) -> rule1)) -> rule2) OR ((((triple5) -> rule5) ((triple5 ((triple3) -> rule7)) -> rule3)) -> rule2) OR ((((triple5) -> rule5) ((triple6 ((triple2) -> rule4)) -> rule1)) -> rule2) OR ((((triple5) -> rule5) ((((triple5) -> rule5) triple1) -> rule1)) -> rule2) OR ((((triple5) -> rule5) ((((triple5) -> rule5) ((triple2) -> rule4)) -> rule1)) -> rule2) OR ((triple6 ((triple6 ((((triple3) -> rule7)) -> rule4)) -> rule1)) -> rule2) OR ((triple6 ((((triple5) -> rule5) ((((triple3) -> rule7)) -> rule4)) -> rule1)) -> rule2) OR ((((triple5) -> rule5) ((triple6 ((((triple3) -> rule7)) -> rule4)) -> rule1)) -> rule2) OR ((((triple5) -> rule5) ((((triple5) -> rule5) ((((triple3) -> rule7)) -> rule4)) -> rule1)) -> rule2))] Harry is red.[(triple5)] Harry is smart.[(triple6 OR ((triple5) -> rule5))] Harry is young.[(triple7 OR ((triple5 triple2) -> rule3) OR ((triple6 triple1) -> rule1) OR ((triple5 ((triple3) -> rule7)) -> rule3) OR ((triple6 ((triple2) -> rule4)) -> rule1) OR ((((triple5) -> rule5) triple1) -> rule1) OR ((((triple5) -> rule5) ((triple2) -> rule4)) -> rule1) OR ((triple5 ((((triple1 triple4) -> rule8)) -> rule7)) -> rule3) OR ((triple6 ((((triple3) -> rule7)) -> rule4)) -> rule1) OR ((((triple5) -> rule5) ((((triple3) -> rule7)) -> rule4)) -> rule1))]
Harry is blue.
("Harry" "is" "blue" "+")
triple1
((triple2) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((((triple3) -> (rule7 % int2))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
triple2
((triple3) -> (rule7 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((triple1 triple4) -> (rule8 % int2))) -> (rule7 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple1 ((triple6 triple7) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((triple1 ((triple6 ((triple6 triple1) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple1 ((((triple5) -> (rule5 % int4)) triple7) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((triple1 ((((triple5) -> (rule5 % int5)) ((triple6 triple1) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((triple1 ((triple6 ((((triple5) -> (rule5 % int5)) triple1) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((triple1 ((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5)) triple1) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is kind.
("Harry" "is" "kind" "+")
triple3
((triple1 triple4) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple2 triple6) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple1 ((triple6 triple7) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((triple2 ((triple5) -> (rule5 % int2))) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple2) -> (rule4 % int2)) triple4) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple2) -> (rule4 % int3)) ((triple6 triple7) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((triple1 ((triple6 ((triple5 triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((triple1 ((triple6 ((triple6 triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((triple1 ((((triple5) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((triple1 ((((triple5) -> (rule5 % int4)) ((triple5 triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((triple1 ((((triple5) -> (rule5 % int4)) ((triple6 triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((triple2) -> (rule4 % int4)) ((triple6 ((triple5 triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((triple2) -> (rule4 % int4)) ((triple6 ((triple6 triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((triple2) -> (rule4 % int4)) ((((triple5) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((triple2) -> (rule4 % int5)) ((((triple5) -> (rule5 % int4)) ((triple5 triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((triple2) -> (rule4 % int5)) ((((triple5) -> (rule5 % int4)) ((triple6 triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((triple1 ((triple6 ((triple6 ((triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((triple1 ((triple6 ((((triple5) -> (rule5 % int4)) triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((triple1 ((triple6 ((((triple5) -> (rule5 % int5)) ((triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((triple1 ((((triple5) -> (rule5 % int5)) ((triple6 ((triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((triple1 ((((triple5) -> (rule5 % int4)) ((((triple5) -> (rule5 % int4)) triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((triple2) -> (rule4 % int4)) ((triple6 ((triple6 ((triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((triple2) -> (rule4 % int5)) ((triple6 ((((triple5) -> (rule5 % int4)) triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((triple1 ((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5)) ((triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((triple2) -> (rule4 % int5)) ((triple6 ((((triple5) -> (rule5 % int4)) ((triple2) -> (rule4 % int5))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((triple2) -> (rule4 % int5)) ((((triple5) -> (rule5 % int4)) ((triple6 ((triple2) -> (rule4 % int5))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((triple2) -> (rule4 % int5)) ((((triple5) -> (rule5 % int4)) ((((triple5) -> (rule5 % int4)) triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((triple2) -> (rule4 % int5)) ((((triple5) -> (rule5 % int4)) ((((triple5) -> (rule5 % int4)) ((triple2) -> (rule4 % int5))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
triple4
((triple6 triple7) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((triple6 ((triple5 triple2) -> (rule3 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((triple6 ((triple6 triple1) -> (rule1 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple5) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple5) -> (rule5 % int3)) ((triple5 triple2) -> (rule3 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((triple5) -> (rule5 % int3)) ((triple6 triple1) -> (rule1 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((triple6 ((triple5 ((triple3) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((triple6 ((triple6 ((triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((triple6 ((((triple5) -> (rule5 % int3)) triple1) -> (rule1 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((triple6 ((((triple5) -> (rule5 % int4)) ((triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((triple5) -> (rule5 % int4)) ((triple5 ((triple3) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((triple5) -> (rule5 % int4)) ((triple6 ((triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((triple5) -> (rule5 % int3)) ((((triple5) -> (rule5 % int3)) triple1) -> (rule1 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((triple5) -> (rule5 % int4)) ((((triple5) -> (rule5 % int4)) ((triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((triple6 ((triple6 ((((triple3) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((triple6 ((((triple5) -> (rule5 % int5)) ((((triple3) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((triple5) -> (rule5 % int5)) ((triple6 ((((triple3) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5)) ((((triple3) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
triple5
Harry is smart.
("Harry" "is" "smart" "+")
triple6
((triple5) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
triple7
((triple5 triple2) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple6 triple1) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple5 ((triple3) -> (rule7 % int2))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((triple6 ((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple5) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple5) -> (rule5 % int3)) ((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((triple5 ((((triple1 triple4) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((triple6 ((((triple3) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((triple5) -> (rule5 % int4)) ((((triple3) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4