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