Bob is furry. Bob is white. Charlie is cold. Charlie is furry. Charlie is white. Gary is big. Gary is cold. Gary is white. Harry is big. Harry is cold. Harry is nice. Harry is white. If something is young then it is kind. If something is nice then it is young. Big, white things are cold. All nice, cold things are big. If something is nice then it is big. Cold things are nice. White things are big.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is white.
("Harry" "is" "white" "+")
If something is young then it is kind.
((("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
If something is nice then it is young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
Big, white things are cold.
((("something" "is" "big" "+") ("something" "is" "white" "+")) -> ("something" "is" "cold" "+"))
All nice, cold things are big.
((("something" "is" "nice" "+") ("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
If something is nice then it is big.
((("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
Cold things are nice.
((("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
White things are big.
((("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
Charlie is white.
True
1
proof
[(triple5)]
("Charlie" "is" "white" "+")
triple5
Gary is not cold.
False
1
inv-proof
[(triple7 OR ((triple6 triple8) -> rule3) OR ((((triple8) -> rule7) triple8) -> rule3))]
("Gary" "is" "cold" "-")
triple7
((triple6 triple8) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((((triple8) -> (rule7 % int2)) triple8) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is nice.
True
2
proof
[(((triple7) -> rule6) OR ((((triple6 triple8) -> rule3)) -> rule6) OR ((((((triple8) -> rule7) triple8) -> rule3)) -> rule6))]
("Gary" "is" "nice" "+")
((triple7) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((triple6 triple8) -> (rule3 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((((triple8) -> (rule7 % int3)) triple8) -> (rule3 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Charlie is not big.
False
2
inv-proof
[(((triple5) -> rule7) OR ((((triple3) -> rule6)) -> rule5) OR ((((triple3) -> rule6) triple3) -> rule4))]
("Charlie" "is" "big" "-")
((triple5) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((triple3) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple3) -> (rule6 % int2)) triple3) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Bob is cold.
True
4
proof
[(((((triple2) -> rule7) triple2) -> rule3))]
("Bob" "is" "cold" "+")
((((triple2) -> (rule7 % int2)) triple2) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Gary is not young.
False
3
inv-proof
[(((((triple7) -> rule6)) -> rule2) OR ((((((triple6 triple8) -> rule3)) -> rule6)) -> rule2) OR ((((((((triple8) -> rule7) triple8) -> rule3)) -> rule6)) -> rule2))]
("Gary" "is" "young" "-")
((((triple7) -> (rule6 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((((triple6 triple8) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((((((triple8) -> (rule7 % int4)) triple8) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is kind.
True
4
proof
[(((((((triple7) -> rule6)) -> rule2)) -> rule1) OR ((((((((triple6 triple8) -> rule3)) -> rule6)) -> rule2)) -> rule1) OR ((((((((((triple8) -> rule7) triple8) -> rule3)) -> rule6)) -> rule2)) -> rule1))]
("Gary" "is" "kind" "+")
((((((triple7) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((((triple6 triple8) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((((((triple8) -> (rule7 % int5)) triple8) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is not kind.
False
4
inv-proof
[(((((((triple7) -> rule6)) -> rule2)) -> rule1) OR ((((((((triple6 triple8) -> rule3)) -> rule6)) -> rule2)) -> rule1) OR ((((((((((triple8) -> rule7) triple8) -> rule3)) -> rule6)) -> rule2)) -> rule1))]
("Gary" "is" "kind" "-")
((((((triple7) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((((triple6 triple8) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((((((triple8) -> (rule7 % int5)) triple8) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Bob is young.
True
6
proof
[(((((((((triple2) -> rule7) triple2) -> rule3)) -> rule6)) -> rule2))]
("Bob" "is" "young" "+")
((((((((triple2) -> (rule7 % int4)) triple2) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is not young.
False
6
inv-proof
[(((((((((triple2) -> rule7) triple2) -> rule3)) -> rule6)) -> rule2))]
("Bob" "is" "young" "-")
((((((((triple2) -> (rule7 % int4)) triple2) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is kind.
True
7
proof
[(((((((((((triple2) -> rule7) triple2) -> rule3)) -> rule6)) -> rule2)) -> rule1))]
("Bob" "is" "kind" "+")
((((((((((triple2) -> (rule7 % int5)) triple2) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is not kind.
False
7
inv-proof
[(((((((((((triple2) -> rule7) triple2) -> rule3)) -> rule6)) -> rule2)) -> rule1))]
("Bob" "is" "kind" "-")
((((((((((triple2) -> (rule7 % int5)) triple2) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Bob is furry.[(triple1)] Bob is white.[(triple2)] Charlie is cold.[(triple3 OR ((((triple5) -> rule7) triple5) -> rule3))] Charlie is furry.[(triple4)] Charlie is white.[(triple5)] Gary is big.[(triple6 OR ((triple8) -> rule7) OR ((((triple7) -> rule6)) -> rule5) OR ((((triple7) -> rule6) triple7) -> rule4))] Gary is cold.[(triple7 OR ((triple6 triple8) -> rule3) OR ((((triple8) -> rule7) triple8) -> rule3))] Gary is white.[(triple8)] Harry is big.[(triple9 OR ((triple11) -> rule5) OR ((triple12) -> rule7) OR ((triple11 triple10) -> rule4) OR ((((triple10) -> rule6)) -> rule5) OR ((((triple10) -> rule6) triple10) -> rule4))] Harry is cold.[(triple10 OR ((triple9 triple12) -> rule3) OR ((((triple11) -> rule5) triple12) -> rule3) OR ((((triple12) -> rule7) triple12) -> rule3))] Harry is nice.[(triple11 OR ((triple10) -> rule6) OR ((((triple9 triple12) -> rule3)) -> rule6) OR ((((((triple12) -> rule7) triple12) -> rule3)) -> rule6))] Harry is white.[(triple12)] @1: Bob is big.[(((triple2) -> rule7))] Charlie is big.[(((triple5) -> rule7) OR ((((triple3) -> rule6)) -> rule5) OR ((((triple3) -> rule6) triple3) -> rule4))] Charlie is nice.[(((triple3) -> rule6) OR ((((((triple5) -> rule7) triple5) -> rule3)) -> rule6))] Gary is nice.[(((triple7) -> rule6) OR ((((triple6 triple8) -> rule3)) -> rule6) OR ((((((triple8) -> rule7) triple8) -> rule3)) -> rule6))] Harry is young.[(((triple11) -> rule2) OR ((((triple10) -> rule6)) -> rule2) OR ((((((triple9 triple12) -> rule3)) -> rule6)) -> rule2) OR ((((((((triple12) -> rule7) triple12) -> rule3)) -> rule6)) -> rule2))] @2: Bob is cold.[(((((triple2) -> rule7) triple2) -> rule3))] Charlie is young.[(((((triple3) -> rule6)) -> rule2) OR ((((((((triple5) -> rule7) triple5) -> rule3)) -> rule6)) -> rule2))] Gary is young.[(((((triple7) -> rule6)) -> rule2) OR ((((((triple6 triple8) -> rule3)) -> rule6)) -> rule2) OR ((((((((triple8) -> rule7) triple8) -> rule3)) -> rule6)) -> rule2))] Harry is kind.[(((((triple11) -> rule2)) -> rule1) OR ((((((triple10) -> rule6)) -> rule2)) -> rule1) OR ((((((((triple9 triple12) -> rule3)) -> rule6)) -> rule2)) -> rule1) OR ((((((((((triple12) -> rule7) triple12) -> rule3)) -> rule6)) -> rule2)) -> rule1))] @3: Bob is nice.[(((((((triple2) -> rule7) triple2) -> rule3)) -> rule6))] Charlie is kind.[(((((((triple3) -> rule6)) -> rule2)) -> rule1) OR ((((((((((triple5) -> rule7) triple5) -> rule3)) -> rule6)) -> rule2)) -> rule1))] Gary is kind.[(((((((triple7) -> rule6)) -> rule2)) -> rule1) OR ((((((((triple6 triple8) -> rule3)) -> rule6)) -> rule2)) -> rule1) OR ((((((((((triple8) -> rule7) triple8) -> rule3)) -> rule6)) -> rule2)) -> rule1))] @4: Bob is young.[(((((((((triple2) -> rule7) triple2) -> rule3)) -> rule6)) -> rule2))] @5: Bob is kind.[(((((((((((triple2) -> rule7) triple2) -> rule3)) -> rule6)) -> rule2)) -> rule1))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
((((triple5) -> (rule7 % int2)) triple5) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
triple4
Charlie is white.
("Charlie" "is" "white" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
((triple8) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple7) -> (rule6 % int2)) triple7) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
triple7
((triple6 triple8) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((((triple8) -> (rule7 % int2)) triple8) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple9
((triple11) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((triple12) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((triple11 triple10) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((triple10) -> (rule6 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((triple10) -> (rule6 % int2)) triple10) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
triple10
((triple9 triple12) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((((triple11) -> (rule5 % int2)) triple12) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple12) -> (rule7 % int2)) triple12) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
triple11
((triple10) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((((triple9 triple12) -> (rule3 % int2))) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((((triple12) -> (rule7 % int3)) triple12) -> (rule3 % int2))) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
triple12
Bob is big.
("Bob" "is" "big" "+")
((triple2) -> (rule7 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((triple5) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((triple3) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple3) -> (rule6 % int2)) triple3) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple3) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((((((triple5) -> (rule7 % int3)) triple5) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
((triple7) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((triple6 triple8) -> (rule3 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((((triple8) -> (rule7 % int3)) triple8) -> (rule3 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
((triple11) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((((triple10) -> (rule6 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((((triple9 triple12) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((((((triple12) -> (rule7 % int4)) triple12) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
((((triple2) -> (rule7 % int2)) triple2) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((((((triple5) -> (rule7 % int4)) triple5) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
((((triple7) -> (rule6 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((((triple6 triple8) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((((((triple8) -> (rule7 % int4)) triple8) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
((((triple11) -> (rule2 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((((triple10) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((((((triple9 triple12) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((((((((triple12) -> (rule7 % int5)) triple12) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
((((((triple2) -> (rule7 % int3)) triple2) -> (rule3 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
((((((triple3) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((((((((triple5) -> (rule7 % int5)) triple5) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Gary is kind.
("Gary" "is" "kind" "+")
((((((triple7) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((((triple6 triple8) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((((((triple8) -> (rule7 % int5)) triple8) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
((((((((triple2) -> (rule7 % int4)) triple2) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
((((((((((triple2) -> (rule7 % int5)) triple2) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5