Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is kind. Anne is nice. Anne is young. Bob is furry. Dave is furry. Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is kind. Harry is nice. Harry is young. Blue things are young. All cold, young things are blue. Big things are kind. Furry, kind things are cold. Cold things are blue. All young things are big. Furry things are cold.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
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 young.
("Harry" "is" "young" "+")
Blue things are young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
All cold, young things are blue.
((("something" "is" "cold" "+") ("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
Big things are kind.
((("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
Furry, kind things are cold.
((("something" "is" "furry" "+") ("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
Cold things are blue.
((("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
All young things are big.
((("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
Furry things are cold.
((("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
Harry is kind.
True
1
proof
[(triple14 OR ((triple10) -> rule3) OR ((((triple16) -> rule6)) -> rule3) OR ((((((triple11) -> rule1)) -> rule6)) -> rule3) OR ((((((((triple12) -> rule5)) -> rule1)) -> rule6)) -> rule3) OR ((((((((((triple13) -> rule7)) -> rule5)) -> rule1)) -> rule6)) -> rule3))]
("Harry" "is" "kind" "+")
triple14
((triple10) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((((triple16) -> (rule6 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((((triple11) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((((((triple12) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((((((triple13) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is not nice.
False
1
inv-proof
[(triple15)]
("Harry" "is" "nice" "-")
triple15
Bob is cold.
True
2
proof
[(((triple8) -> rule7))]
("Bob" "is" "cold" "+")
((triple8) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not cold.
False
2
inv-proof
[(((triple8) -> rule7))]
("Bob" "is" "cold" "-")
((triple8) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is blue.
True
3
proof
[(((((triple8) -> rule7)) -> rule5))]
("Bob" "is" "blue" "+")
((((triple8) -> (rule7 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is not blue.
False
3
inv-proof
[(((((triple8) -> rule7)) -> rule5))]
("Bob" "is" "blue" "-")
((((triple8) -> (rule7 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
True
4
proof
[(((((((triple8) -> rule7)) -> rule5)) -> rule1))]
("Bob" "is" "young" "+")
((((((triple8) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is not young.
False
4
inv-proof
[(((((((triple8) -> rule7)) -> rule5)) -> rule1))]
("Bob" "is" "young" "-")
((((((triple8) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is big.
True
5
proof
[(((((((((triple8) -> rule7)) -> rule5)) -> rule1)) -> rule6))]
("Bob" "is" "big" "+")
((((((((triple8) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is not big.
False
5
inv-proof
[(((((((((triple8) -> rule7)) -> rule5)) -> rule1)) -> rule6))]
("Bob" "is" "big" "-")
((((((((triple8) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
True
6
proof
[(((((((((((triple8) -> rule7)) -> rule5)) -> rule1)) -> rule6)) -> rule3))]
("Bob" "is" "kind" "+")
((((((((((triple8) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is not kind.
False
6
inv-proof
[(((((((((((triple8) -> rule7)) -> rule5)) -> rule1)) -> rule6)) -> rule3))]
("Bob" "is" "kind" "-")
((((((((((triple8) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Anne is big.[(triple1 OR ((triple7) -> rule6) OR ((((triple2) -> rule1)) -> rule6) OR ((((((triple3) -> rule5)) -> rule1)) -> rule6) OR ((((((((triple4) -> rule7)) -> rule5)) -> rule1)) -> rule6) OR ((((((((triple4 triple5) -> rule4)) -> rule5)) -> rule1)) -> rule6))] Anne is blue.[(triple2 OR ((triple3) -> rule5) OR ((triple3 triple7) -> rule2) OR ((((triple4) -> rule7)) -> rule5) OR ((((triple4 triple5) -> rule4)) -> rule5) OR ((((triple4) -> rule7) triple7) -> rule2) OR ((((triple4 triple5) -> rule4) triple7) -> rule2) OR ((((triple4 ((triple1) -> rule3)) -> rule4)) -> rule5) OR ((((triple4 ((triple1) -> rule3)) -> rule4) triple7) -> rule2) OR ((((triple4 ((((triple7) -> rule6)) -> rule3)) -> rule4)) -> rule5) OR ((((triple4 ((((triple7) -> rule6)) -> rule3)) -> rule4) triple7) -> rule2))] Anne is cold.[(triple3 OR ((triple4) -> rule7) OR ((triple4 triple5) -> rule4) OR ((triple4 ((triple1) -> rule3)) -> rule4) OR ((triple4 ((((triple7) -> rule6)) -> rule3)) -> rule4) OR ((triple4 ((((((triple2) -> rule1)) -> rule6)) -> rule3)) -> rule4))] Anne is furry.[(triple4)] Anne is kind.[(triple5 OR ((triple1) -> rule3) OR ((((triple7) -> rule6)) -> rule3) OR ((((((triple2) -> rule1)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule5)) -> rule1)) -> rule6)) -> rule3) OR ((((((((((triple4) -> rule7)) -> rule5)) -> rule1)) -> rule6)) -> rule3))] Anne is nice.[(triple6)] Anne is young.[(triple7 OR ((triple2) -> rule1) OR ((((triple3) -> rule5)) -> rule1) OR ((((((triple4) -> rule7)) -> rule5)) -> rule1) OR ((((((triple4 triple5) -> rule4)) -> rule5)) -> rule1) OR ((((((triple4 ((triple1) -> rule3)) -> rule4)) -> rule5)) -> rule1))] Bob is furry.[(triple8)] Dave is furry.[(triple9)] Harry is big.[(triple10 OR ((triple16) -> rule6) OR ((((triple11) -> rule1)) -> rule6) OR ((((((triple12) -> rule5)) -> rule1)) -> rule6) OR ((((((((triple13) -> rule7)) -> rule5)) -> rule1)) -> rule6) OR ((((((((triple13 triple14) -> rule4)) -> rule5)) -> rule1)) -> rule6))] Harry is blue.[(triple11 OR ((triple12) -> rule5) OR ((triple12 triple16) -> rule2) OR ((((triple13) -> rule7)) -> rule5) OR ((((triple13 triple14) -> rule4)) -> rule5) OR ((((triple13) -> rule7) triple16) -> rule2) OR ((((triple13 triple14) -> rule4) triple16) -> rule2) OR ((((triple13 ((triple10) -> rule3)) -> rule4)) -> rule5) OR ((((triple13 ((triple10) -> rule3)) -> rule4) triple16) -> rule2) OR ((((triple13 ((((triple16) -> rule6)) -> rule3)) -> rule4)) -> rule5) OR ((((triple13 ((((triple16) -> rule6)) -> rule3)) -> rule4) triple16) -> rule2))] Harry is cold.[(triple12 OR ((triple13) -> rule7) OR ((triple13 triple14) -> rule4) OR ((triple13 ((triple10) -> rule3)) -> rule4) OR ((triple13 ((((triple16) -> rule6)) -> rule3)) -> rule4) OR ((triple13 ((((((triple11) -> rule1)) -> rule6)) -> rule3)) -> rule4))] Harry is furry.[(triple13)] Harry is kind.[(triple14 OR ((triple10) -> rule3) OR ((((triple16) -> rule6)) -> rule3) OR ((((((triple11) -> rule1)) -> rule6)) -> rule3) OR ((((((((triple12) -> rule5)) -> rule1)) -> rule6)) -> rule3) OR ((((((((((triple13) -> rule7)) -> rule5)) -> rule1)) -> rule6)) -> rule3))] Harry is nice.[(triple15)] Harry is young.[(triple16 OR ((triple11) -> rule1) OR ((((triple12) -> rule5)) -> rule1) OR ((((((triple13) -> rule7)) -> rule5)) -> rule1) OR ((((((triple13 triple14) -> rule4)) -> rule5)) -> rule1) OR ((((((triple13 ((triple10) -> rule3)) -> rule4)) -> rule5)) -> rule1))] @1: Bob is cold.[(((triple8) -> rule7))] Dave is cold.[(((triple9) -> rule7))] @2: Bob is blue.[(((((triple8) -> rule7)) -> rule5))] Dave is blue.[(((((triple9) -> rule7)) -> rule5))] @3: Bob is young.[(((((((triple8) -> rule7)) -> rule5)) -> rule1))] Dave is young.[(((((((triple9) -> rule7)) -> rule5)) -> rule1))] @4: Bob is big.[(((((((((triple8) -> rule7)) -> rule5)) -> rule1)) -> rule6))] Dave is big.[(((((((((triple9) -> rule7)) -> rule5)) -> rule1)) -> rule6))] @5: Bob is kind.[(((((((((((triple8) -> rule7)) -> rule5)) -> rule1)) -> rule6)) -> rule3))] Dave is kind.[(((((((((((triple9) -> rule7)) -> rule5)) -> rule1)) -> rule6)) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple7) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((((triple3) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((((triple4) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((((triple4 triple5) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
triple2
((triple3) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple3 triple7) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((((triple4) -> (rule7 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((triple4 triple5) -> (rule4 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((triple4) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((triple4 triple5) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((triple4 ((triple1) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((triple4 ((triple1) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((triple4 ((((triple7) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((triple4 ((((triple7) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
triple3
((triple4) -> (rule7 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((triple4 triple5) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((triple4 ((triple1) -> (rule3 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((triple4 ((((triple7) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((triple4 ((((((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
triple4
Anne is kind.
("Anne" "is" "kind" "+")
triple5
((triple1) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((((((triple3) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((((((triple4) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7
((triple2) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((((triple3) -> (rule5 % int2))) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((((triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((triple4 triple5) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((triple4 ((triple1) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
triple8
Dave is furry.
("Dave" "is" "furry" "+")
triple9
Harry is big.
("Harry" "is" "big" "+")
triple10
((triple16) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((triple11) -> (rule1 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((((triple12) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((((((triple13) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((((triple13 triple14) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
triple11
((triple12) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((triple12 triple16) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((((triple13) -> (rule7 % int2))) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple13 triple14) -> (rule4 % int2))) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple13) -> (rule7 % int2)) triple16) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple13 triple14) -> (rule4 % int2)) triple16) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple13 ((triple10) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((triple13 ((triple10) -> (rule3 % int3))) -> (rule4 % int2)) triple16) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((triple13 ((((triple16) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple13 ((((triple16) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) triple16) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
triple12
((triple13) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple13 triple14) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple13 ((triple10) -> (rule3 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((triple13 ((((triple16) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((triple13 ((((((triple11) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
triple13
Harry is kind.
("Harry" "is" "kind" "+")
triple14
((triple10) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((((triple16) -> (rule6 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((((triple11) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((((((triple12) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((((((triple13) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
((triple11) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((((triple12) -> (rule5 % int2))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((((triple13) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((((triple13 triple14) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((((triple13 ((triple10) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
((triple8) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple9) -> (rule7 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((((triple8) -> (rule7 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((((triple9) -> (rule7 % int2))) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((((((triple8) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
((((((triple9) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
((((((((triple8) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
((((((((triple9) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
((((((((((triple8) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Dave is kind.
("Dave" "is" "kind" "+")
((((((((((triple9) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5