Bob is big. Bob is cold. Bob is kind. Bob is red. Bob is smart. Dave is smart. Gary is blue. Gary is kind. Gary is red. Harry is big. If something is kind then it is smart. If something is big then it is blue. All blue things are kind. If something is cold then it is red. Cold, big things are young. If something is kind and cold then it is big. If something is kind and smart then it is cold.
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is big.
("Harry" "is" "big" "+")
If something is kind then it is smart.
((("something" "is" "kind" "+")) -> ("something" "is" "smart" "+"))
If something is big then it is blue.
((("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
All blue things are kind.
((("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
If something is cold then it is red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
Cold, big things are young.
((("something" "is" "cold" "+") ("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
If something is kind and cold then it is big.
((("something" "is" "kind" "+") ("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
If something is kind and smart then it is cold.
((("something" "is" "kind" "+") ("something" "is" "smart" "+")) -> ("something" "is" "cold" "+"))
Gary is kind.
True
1
proof
[(triple8 OR ((triple7) -> rule3))]
("Gary" "is" "kind" "+")
triple8
((triple7) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Harry is not big.
False
1
inv-proof
[(triple10)]
("Harry" "is" "big" "-")
triple10
Bob is blue.
True
2
proof
[(((triple1) -> rule2) OR ((((triple3 triple2) -> rule6)) -> rule2) OR ((((triple3 ((triple3 triple5) -> rule7)) -> rule6)) -> rule2) OR ((((triple3 ((triple3 ((triple3) -> rule1)) -> rule7)) -> rule6)) -> rule2))]
("Bob" "is" "blue" "+")
((triple1) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((triple3 triple2) -> (rule6 % int2))) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((triple3 ((triple3 triple5) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((triple3 ((triple3 ((triple3) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Harry is not blue.
False
2
inv-proof
[(((triple10) -> rule2))]
("Harry" "is" "blue" "-")
((triple10) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Gary is cold.
True
4
proof
[(((triple8 ((triple8) -> rule1)) -> rule7) OR ((((triple7) -> rule3) ((triple8) -> rule1)) -> rule7) OR ((triple8 ((((triple7) -> rule3)) -> rule1)) -> rule7) OR ((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule1)) -> rule7))]
("Gary" "is" "cold" "+")
((triple8 ((triple8) -> (rule1 % int2))) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple7) -> (rule3 % int3)) ((triple8) -> (rule1 % int2))) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((triple8 ((((triple7) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((((triple7) -> (rule3 % int3)) ((((triple7) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Harry is not kind.
False
3
inv-proof
[(((((triple10) -> rule2)) -> rule3))]
("Harry" "is" "kind" "-")
((((triple10) -> (rule2 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is smart.
True
4
proof
[(((((((triple10) -> rule2)) -> rule3)) -> rule1))]
("Harry" "is" "smart" "+")
((((((triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is not smart.
False
4
inv-proof
[(((((((triple10) -> rule2)) -> rule3)) -> rule1))]
("Harry" "is" "smart" "-")
((((((triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is cold.
True
8
proof
[(((((((triple10) -> rule2)) -> rule3) ((((((triple10) -> rule2)) -> rule3)) -> rule1)) -> rule7))]
("Harry" "is" "cold" "+")
((((((triple10) -> (rule2 % int4))) -> (rule3 % int3)) ((((((triple10) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is not cold.
False
8
inv-proof
[(((((((triple10) -> rule2)) -> rule3) ((((((triple10) -> rule2)) -> rule3)) -> rule1)) -> rule7))]
("Harry" "is" "cold" "-")
((((((triple10) -> (rule2 % int4))) -> (rule3 % int3)) ((((((triple10) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is red.
True
9
proof
[(((((((((triple10) -> rule2)) -> rule3) ((((((triple10) -> rule2)) -> rule3)) -> rule1)) -> rule7)) -> rule4))]
("Harry" "is" "red" "+")
((((((((triple10) -> (rule2 % int5))) -> (rule3 % int4)) ((((((triple10) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Harry is not red.
False
9
inv-proof
[(((((((((triple10) -> rule2)) -> rule3) ((((((triple10) -> rule2)) -> rule3)) -> rule1)) -> rule7)) -> rule4))]
("Harry" "is" "red" "-")
((((((((triple10) -> (rule2 % int5))) -> (rule3 % int4)) ((((((triple10) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Dave is not kind.
Unknown
inv-rconc
[@3: Dave is kind.[CWA. Example of deepest failure = (rule3 <- rule2 <- rule6 <- FAIL)]]
("Dave" "is" "kind" "-")
Dave is cold.
Unknown
rconc
[@4: Dave is cold.[CWA. Example of deepest failure = (rule7 <- rule3 <- rule2 <- rule6 <- FAIL)]]
("Dave" "is" "cold" "+")
Dave is not big.
Unknown
inv-rconc
[@3: Dave is big.[CWA. Example of deepest failure = (rule6 <- rule3 <- rule2 <- FAIL)]]
("Dave" "is" "big" "-")
Dave is young.
Unknown
rconc
[@4: Dave is young.[CWA. Example of deepest failure = (rule5 <- rule6 <- rule3 <- rule2 <- FAIL)]]
("Dave" "is" "young" "+")
Dave is not red.
Unknown
inv-rconc
[@5: Dave is red.[CWA. Example of deepest failure = (rule4 <- rule7 <- rule3 <- rule2 <- rule6 <- FAIL)]]
("Dave" "is" "red" "-")
Dave is blue.
Unknown
rconc
[@3: Dave is blue.[CWA. Example of deepest failure = (rule2 <- rule6 <- rule3 <- FAIL)]]
("Dave" "is" "blue" "+")
@0: Bob is big.[(triple1 OR ((triple3 triple2) -> rule6) OR ((triple3 ((triple3 triple5) -> rule7)) -> rule6) OR ((triple3 ((triple3 ((triple3) -> rule1)) -> rule7)) -> rule6))] Bob is cold.[(triple2 OR ((triple3 triple5) -> rule7) OR ((triple3 ((triple3) -> rule1)) -> rule7) OR ((((((triple1) -> rule2)) -> rule3) triple5) -> rule7) OR ((((((triple1) -> rule2)) -> rule3) ((triple3) -> rule1)) -> rule7) OR ((triple3 ((((((triple1) -> rule2)) -> rule3)) -> rule1)) -> rule7) OR ((((((triple1) -> rule2)) -> rule3) ((((((triple1) -> rule2)) -> rule3)) -> rule1)) -> rule7))] Bob is kind.[(triple3 OR ((((triple1) -> rule2)) -> rule3))] Bob is red.[(triple4 OR ((triple2) -> rule4) OR ((((triple3 triple5) -> rule7)) -> rule4) OR ((((triple3 ((triple3) -> rule1)) -> rule7)) -> rule4) OR ((((((((triple1) -> rule2)) -> rule3) triple5) -> rule7)) -> rule4) OR ((((((((triple1) -> rule2)) -> rule3) ((triple3) -> rule1)) -> rule7)) -> rule4) OR ((((triple3 ((((((triple1) -> rule2)) -> rule3)) -> rule1)) -> rule7)) -> rule4) OR ((((((((triple1) -> rule2)) -> rule3) ((((((triple1) -> rule2)) -> rule3)) -> rule1)) -> rule7)) -> rule4))] Bob is smart.[(triple5 OR ((triple3) -> rule1) OR ((((((triple1) -> rule2)) -> rule3)) -> rule1))] Dave is smart.[(triple6)] Gary is blue.[(triple7 OR ((((triple8 ((triple8 ((triple8) -> rule1)) -> rule7)) -> rule6)) -> rule2))] Gary is kind.[(triple8 OR ((triple7) -> rule3))] Gary is red.[(triple9 OR ((((triple8 ((triple8) -> rule1)) -> rule7)) -> rule4) OR ((((((triple7) -> rule3) ((triple8) -> rule1)) -> rule7)) -> rule4) OR ((((triple8 ((((triple7) -> rule3)) -> rule1)) -> rule7)) -> rule4) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule1)) -> rule7)) -> rule4))] Harry is big.[(triple10)] @1: Bob is blue.[(((triple1) -> rule2) OR ((((triple3 triple2) -> rule6)) -> rule2) OR ((((triple3 ((triple3 triple5) -> rule7)) -> rule6)) -> rule2) OR ((((triple3 ((triple3 ((triple3) -> rule1)) -> rule7)) -> rule6)) -> rule2))] Bob is young.[(((triple2 triple1) -> rule5) OR ((triple2 ((triple3 triple2) -> rule6)) -> rule5) OR ((((triple3 triple5) -> rule7) triple1) -> rule5) OR ((((triple3 triple5) -> rule7) ((triple3 triple2) -> rule6)) -> rule5) OR ((triple2 ((triple3 ((triple3 triple5) -> rule7)) -> rule6)) -> rule5) OR ((((triple3 ((triple3) -> rule1)) -> rule7) triple1) -> rule5) OR ((((triple3 triple5) -> rule7) ((triple3 ((triple3 triple5) -> rule7)) -> rule6)) -> rule5) OR ((((triple3 ((triple3) -> rule1)) -> rule7) ((triple3 triple2) -> rule6)) -> rule5) OR ((((triple3 ((triple3) -> rule1)) -> rule7) ((triple3 ((triple3 triple5) -> rule7)) -> rule6)) -> rule5) OR ((triple2 ((triple3 ((triple3 ((triple3) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple1) -> rule2)) -> rule3) triple5) -> rule7) triple1) -> rule5) OR ((((triple3 triple5) -> rule7) ((triple3 ((triple3 ((triple3) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple1) -> rule2)) -> rule3) triple5) -> rule7) ((triple3 triple2) -> rule6)) -> rule5) OR ((((((((triple1) -> rule2)) -> rule3) ((triple3) -> rule1)) -> rule7) triple1) -> rule5) OR ((((triple3 ((triple3) -> rule1)) -> rule7) ((triple3 ((triple3 ((triple3) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple1) -> rule2)) -> rule3) triple5) -> rule7) ((triple3 ((triple3 triple5) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple1) -> rule2)) -> rule3) ((triple3) -> rule1)) -> rule7) ((triple3 triple2) -> rule6)) -> rule5) OR ((((((((triple1) -> rule2)) -> rule3) triple5) -> rule7) ((triple3 ((triple3 ((triple3) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple1) -> rule2)) -> rule3) ((triple3) -> rule1)) -> rule7) ((triple3 ((triple3 triple5) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple1) -> rule2)) -> rule3) ((triple3) -> rule1)) -> rule7) ((triple3 ((triple3 ((triple3) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((triple3 ((((((triple1) -> rule2)) -> rule3)) -> rule1)) -> rule7) triple1) -> rule5) OR ((((triple3 ((((((triple1) -> rule2)) -> rule3)) -> rule1)) -> rule7) ((triple3 triple2) -> rule6)) -> rule5) OR ((((triple3 ((((((triple1) -> rule2)) -> rule3)) -> rule1)) -> rule7) ((triple3 ((triple3 triple5) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple1) -> rule2)) -> rule3) ((((((triple1) -> rule2)) -> rule3)) -> rule1)) -> rule7) triple1) -> rule5) OR ((((triple3 ((((((triple1) -> rule2)) -> rule3)) -> rule1)) -> rule7) ((triple3 ((triple3 ((triple3) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple1) -> rule2)) -> rule3) ((((((triple1) -> rule2)) -> rule3)) -> rule1)) -> rule7) ((triple3 triple2) -> rule6)) -> rule5) OR ((((((((triple1) -> rule2)) -> rule3) ((((((triple1) -> rule2)) -> rule3)) -> rule1)) -> rule7) ((triple3 ((triple3 triple5) -> rule7)) -> rule6)) -> rule5) OR ((((((((triple1) -> rule2)) -> rule3) ((((((triple1) -> rule2)) -> rule3)) -> rule1)) -> rule7) ((triple3 ((triple3 ((triple3) -> rule1)) -> rule7)) -> rule6)) -> rule5))] Gary is smart.[(((triple8) -> rule1) OR ((((triple7) -> rule3)) -> rule1))] Harry is blue.[(((triple10) -> rule2))] @2: Gary is cold.[(((triple8 ((triple8) -> rule1)) -> rule7) OR ((((triple7) -> rule3) ((triple8) -> rule1)) -> rule7) OR ((triple8 ((((triple7) -> rule3)) -> rule1)) -> rule7) OR ((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule1)) -> rule7))] Harry is kind.[(((((triple10) -> rule2)) -> rule3))] @3: Gary is big.[(((triple8 ((triple8 ((triple8) -> rule1)) -> rule7)) -> rule6) OR ((triple8 ((((triple7) -> rule3) ((triple8) -> rule1)) -> rule7)) -> rule6) OR ((((triple7) -> rule3) ((triple8 ((triple8) -> rule1)) -> rule7)) -> rule6) OR ((((triple7) -> rule3) ((((triple7) -> rule3) ((triple8) -> rule1)) -> rule7)) -> rule6) OR ((triple8 ((triple8 ((((triple7) -> rule3)) -> rule1)) -> rule7)) -> rule6) OR ((triple8 ((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule1)) -> rule7)) -> rule6) OR ((((triple7) -> rule3) ((triple8 ((((triple7) -> rule3)) -> rule1)) -> rule7)) -> rule6) OR ((((triple7) -> rule3) ((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule1)) -> rule7)) -> rule6))] Harry is smart.[(((((((triple10) -> rule2)) -> rule3)) -> rule1))] @4: Gary is young.[(((((triple8 ((triple8) -> rule1)) -> rule7) ((triple8 ((triple8 ((triple8) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((triple8 ((triple8) -> rule1)) -> rule7) ((triple8 ((((triple7) -> rule3) ((triple8) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((triple8 ((triple8) -> rule1)) -> rule7) ((((triple7) -> rule3) ((triple8 ((triple8) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((triple8 ((((triple7) -> rule3)) -> rule1)) -> rule7) ((triple8 ((triple8 ((triple8) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((((triple7) -> rule3) ((triple8) -> rule1)) -> rule7) ((triple8 ((triple8 ((triple8) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((triple8 ((triple8) -> rule1)) -> rule7) ((((triple7) -> rule3) ((((triple7) -> rule3) ((triple8) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((triple8 ((((triple7) -> rule3)) -> rule1)) -> rule7) ((triple8 ((((triple7) -> rule3) ((triple8) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((triple8 ((((triple7) -> rule3)) -> rule1)) -> rule7) ((((triple7) -> rule3) ((triple8 ((triple8) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((((triple7) -> rule3) ((triple8) -> rule1)) -> rule7) ((triple8 ((((triple7) -> rule3) ((triple8) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((((triple7) -> rule3) ((triple8) -> rule1)) -> rule7) ((((triple7) -> rule3) ((triple8 ((triple8) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule1)) -> rule7) ((triple8 ((triple8 ((triple8) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((triple8 ((((triple7) -> rule3)) -> rule1)) -> rule7) ((((triple7) -> rule3) ((((triple7) -> rule3) ((triple8) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((((triple7) -> rule3) ((triple8) -> rule1)) -> rule7) ((((triple7) -> rule3) ((((triple7) -> rule3) ((triple8) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule1)) -> rule7) ((triple8 ((((triple7) -> rule3) ((triple8) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule1)) -> rule7) ((((triple7) -> rule3) ((triple8 ((triple8) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule1)) -> rule7) ((((triple7) -> rule3) ((((triple7) -> rule3) ((triple8) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((triple8 ((triple8) -> rule1)) -> rule7) ((triple8 ((triple8 ((((triple7) -> rule3)) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((triple8 ((triple8) -> rule1)) -> rule7) ((triple8 ((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((triple8 ((triple8) -> rule1)) -> rule7) ((((triple7) -> rule3) ((triple8 ((((triple7) -> rule3)) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((triple8 ((((triple7) -> rule3)) -> rule1)) -> rule7) ((triple8 ((triple8 ((((triple7) -> rule3)) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((((triple7) -> rule3) ((triple8) -> rule1)) -> rule7) ((triple8 ((triple8 ((((triple7) -> rule3)) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((triple8 ((triple8) -> rule1)) -> rule7) ((((triple7) -> rule3) ((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((triple8 ((((triple7) -> rule3)) -> rule1)) -> rule7) ((triple8 ((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((triple8 ((((triple7) -> rule3)) -> rule1)) -> rule7) ((((triple7) -> rule3) ((triple8 ((((triple7) -> rule3)) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((((triple7) -> rule3) ((triple8) -> rule1)) -> rule7) ((triple8 ((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((((triple7) -> rule3) ((triple8) -> rule1)) -> rule7) ((((triple7) -> rule3) ((triple8 ((((triple7) -> rule3)) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule1)) -> rule7) ((triple8 ((triple8 ((((triple7) -> rule3)) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((triple8 ((((triple7) -> rule3)) -> rule1)) -> rule7) ((((triple7) -> rule3) ((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((((triple7) -> rule3) ((triple8) -> rule1)) -> rule7) ((((triple7) -> rule3) ((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule1)) -> rule7) ((triple8 ((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule1)) -> rule7) ((((triple7) -> rule3) ((triple8 ((((triple7) -> rule3)) -> rule1)) -> rule7)) -> rule6)) -> rule5) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule1)) -> rule7) ((((triple7) -> rule3) ((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule1)) -> rule7)) -> rule6)) -> rule5))] Harry is cold.[(((((((triple10) -> rule2)) -> rule3) ((((((triple10) -> rule2)) -> rule3)) -> rule1)) -> rule7))] @5: Harry is red.[(((((((((triple10) -> rule2)) -> rule3) ((((((triple10) -> rule2)) -> rule3)) -> rule1)) -> rule7)) -> rule4))] Harry is young.[(((((((((triple10) -> rule2)) -> rule3) ((((((triple10) -> rule2)) -> rule3)) -> rule1)) -> rule7) triple10) -> rule5))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple3 triple2) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple3 ((triple3 triple5) -> (rule7 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((triple3 ((triple3 ((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
triple2
((triple3 triple5) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple3 ((triple3) -> (rule1 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((((triple1) -> (rule2 % int3))) -> (rule3 % int2)) triple5) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((triple1) -> (rule2 % int4))) -> (rule3 % int3)) ((triple3) -> (rule1 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((triple3 ((((((triple1) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((triple1) -> (rule2 % int4))) -> (rule3 % int3)) ((((((triple1) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
triple4
((triple2) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((((triple3 triple5) -> (rule7 % int2))) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple3 ((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((((((triple1) -> (rule2 % int4))) -> (rule3 % int3)) triple5) -> (rule7 % int2))) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((((triple1) -> (rule2 % int5))) -> (rule3 % int4)) ((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((((triple1) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((((((triple1) -> (rule2 % int5))) -> (rule3 % int4)) ((((((triple1) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
triple5
((triple3) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple7
((((triple8 ((triple8 ((triple8) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
triple8
((triple7) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
triple9
((((triple8 ((triple8) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple7) -> (rule3 % int4)) ((triple8) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((triple8 ((((triple7) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((((triple7) -> (rule3 % int4)) ((((triple7) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
triple10
Bob is blue.
("Bob" "is" "blue" "+")
((triple1) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((triple3 triple2) -> (rule6 % int2))) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((triple3 ((triple3 triple5) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((triple3 ((triple3 ((triple3) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
((triple2 triple1) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple2 ((triple3 triple2) -> (rule6 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((triple3 triple5) -> (rule7 % int2)) triple1) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple3 triple5) -> (rule7 % int3)) ((triple3 triple2) -> (rule6 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((triple2 ((triple3 ((triple3 triple5) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((triple3 ((triple3) -> (rule1 % int3))) -> (rule7 % int2)) triple1) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((triple3 triple5) -> (rule7 % int3)) ((triple3 ((triple3 triple5) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((triple3 ((triple3) -> (rule1 % int4))) -> (rule7 % int3)) ((triple3 triple2) -> (rule6 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((triple3 ((triple3) -> (rule1 % int4))) -> (rule7 % int3)) ((triple3 ((triple3 triple5) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((triple2 ((triple3 ((triple3 ((triple3) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((((triple1) -> (rule2 % int4))) -> (rule3 % int3)) triple5) -> (rule7 % int2)) triple1) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple3 triple5) -> (rule7 % int4)) ((triple3 ((triple3 ((triple3) -> (rule1 % int3))) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((((triple1) -> (rule2 % int5))) -> (rule3 % int4)) triple5) -> (rule7 % int3)) ((triple3 triple2) -> (rule6 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((((((triple1) -> (rule2 % int5))) -> (rule3 % int4)) ((triple3) -> (rule1 % int3))) -> (rule7 % int2)) triple1) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((triple3) -> (rule1 % int4))) -> (rule7 % int3)) ((triple3 ((triple3 ((triple3) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((((triple1) -> (rule2 % int5))) -> (rule3 % int4)) triple5) -> (rule7 % int3)) ((triple3 ((triple3 triple5) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((((((triple1) -> (rule2 % int6))) -> (rule3 % int5)) ((triple3) -> (rule1 % int4))) -> (rule7 % int3)) ((triple3 triple2) -> (rule6 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is blue.
("Bob" "is" "blue" "+")
int6
((((((((triple1) -> (rule2 % int6))) -> (rule3 % int5)) triple5) -> (rule7 % int4)) ((triple3 ((triple3 ((triple3) -> (rule1 % int3))) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is blue.
("Bob" "is" "blue" "+")
int6
((((((((triple1) -> (rule2 % int6))) -> (rule3 % int5)) ((triple3) -> (rule1 % int4))) -> (rule7 % int3)) ((triple3 ((triple3 triple5) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is blue.
("Bob" "is" "blue" "+")
int6
((((((((triple1) -> (rule2 % int6))) -> (rule3 % int5)) ((triple3) -> (rule1 % int4))) -> (rule7 % int3)) ((triple3 ((triple3 ((triple3) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is blue.
("Bob" "is" "blue" "+")
int6
((((triple3 ((((((triple1) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2)) triple1) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((((triple1) -> (rule2 % int6))) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3)) ((triple3 triple2) -> (rule6 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is blue.
("Bob" "is" "blue" "+")
int6
((((triple3 ((((((triple1) -> (rule2 % int6))) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3)) ((triple3 ((triple3 triple5) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is blue.
("Bob" "is" "blue" "+")
int6
((((((((triple1) -> (rule2 % int5))) -> (rule3 % int4)) ((((((triple1) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2)) triple1) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3 ((((((triple1) -> (rule2 % int6))) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3)) ((triple3 ((triple3 ((triple3) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is blue.
("Bob" "is" "blue" "+")
int6
((((((((triple1) -> (rule2 % int6))) -> (rule3 % int5)) ((((((triple1) -> (rule2 % int6))) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3)) ((triple3 triple2) -> (rule6 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is blue.
("Bob" "is" "blue" "+")
int6
((((((((triple1) -> (rule2 % int6))) -> (rule3 % int5)) ((((((triple1) -> (rule2 % int6))) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3)) ((triple3 ((triple3 triple5) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is blue.
("Bob" "is" "blue" "+")
int6
((((((((triple1) -> (rule2 % int6))) -> (rule3 % int5)) ((((((triple1) -> (rule2 % int6))) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3)) ((triple3 ((triple3 ((triple3) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is blue.
("Bob" "is" "blue" "+")
int6
Gary is smart.
("Gary" "is" "smart" "+")
((triple8) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((((triple7) -> (rule3 % int2))) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((triple10) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple8 ((triple8) -> (rule1 % int2))) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple7) -> (rule3 % int3)) ((triple8) -> (rule1 % int2))) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((triple8 ((((triple7) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((((triple7) -> (rule3 % int3)) ((((triple7) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
((((triple10) -> (rule2 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((triple8 ((triple8 ((triple8) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((triple8 ((((triple7) -> (rule3 % int4)) ((triple8) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((triple7) -> (rule3 % int4)) ((triple8 ((triple8) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((triple7) -> (rule3 % int4)) ((((triple7) -> (rule3 % int4)) ((triple8) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((triple8 ((triple8 ((((triple7) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((triple8 ((((triple7) -> (rule3 % int4)) ((((triple7) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((triple7) -> (rule3 % int4)) ((triple8 ((((triple7) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((triple7) -> (rule3 % int4)) ((((triple7) -> (rule3 % int4)) ((((triple7) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
((((((triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
((((triple8 ((triple8) -> (rule1 % int4))) -> (rule7 % int3)) ((triple8 ((triple8 ((triple8) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((triple8 ((triple8) -> (rule1 % int5))) -> (rule7 % int4)) ((triple8 ((((triple7) -> (rule3 % int3)) ((triple8) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((triple8 ((triple8) -> (rule1 % int5))) -> (rule7 % int4)) ((((triple7) -> (rule3 % int3)) ((triple8 ((triple8) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((triple8 ((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3)) ((triple8 ((triple8 ((triple8) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple8) -> (rule1 % int4))) -> (rule7 % int3)) ((triple8 ((triple8 ((triple8) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((triple8 ((triple8) -> (rule1 % int5))) -> (rule7 % int4)) ((((triple7) -> (rule3 % int3)) ((((triple7) -> (rule3 % int3)) ((triple8) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((triple8 ((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3)) ((triple8 ((((triple7) -> (rule3 % int5)) ((triple8) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((triple8 ((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3)) ((((triple7) -> (rule3 % int5)) ((triple8 ((triple8) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple8) -> (rule1 % int4))) -> (rule7 % int3)) ((triple8 ((((triple7) -> (rule3 % int5)) ((triple8) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple8) -> (rule1 % int4))) -> (rule7 % int3)) ((((triple7) -> (rule3 % int5)) ((triple8 ((triple8) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3)) ((triple8 ((triple8 ((triple8) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((triple8 ((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3)) ((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5)) ((triple8) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple8) -> (rule1 % int4))) -> (rule7 % int3)) ((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5)) ((triple8) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3)) ((triple8 ((((triple7) -> (rule3 % int5)) ((triple8) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3)) ((((triple7) -> (rule3 % int5)) ((triple8 ((triple8) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3)) ((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5)) ((triple8) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((triple8 ((triple8) -> (rule1 % int5))) -> (rule7 % int4)) ((triple8 ((triple8 ((((triple7) -> (rule3 % int3))) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((triple8 ((triple8) -> (rule1 % int5))) -> (rule7 % int4)) ((triple8 ((((triple7) -> (rule3 % int3)) ((((triple7) -> (rule3 % int3))) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((triple8 ((triple8) -> (rule1 % int5))) -> (rule7 % int4)) ((((triple7) -> (rule3 % int3)) ((triple8 ((((triple7) -> (rule3 % int3))) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((triple8 ((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3)) ((triple8 ((triple8 ((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple8) -> (rule1 % int4))) -> (rule7 % int3)) ((triple8 ((triple8 ((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((triple8 ((triple8) -> (rule1 % int5))) -> (rule7 % int4)) ((((triple7) -> (rule3 % int3)) ((((triple7) -> (rule3 % int3)) ((((triple7) -> (rule3 % int3))) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((triple8 ((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3)) ((triple8 ((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((triple8 ((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3)) ((((triple7) -> (rule3 % int5)) ((triple8 ((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple8) -> (rule1 % int4))) -> (rule7 % int3)) ((triple8 ((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple8) -> (rule1 % int4))) -> (rule7 % int3)) ((((triple7) -> (rule3 % int5)) ((triple8 ((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3)) ((triple8 ((triple8 ((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((triple8 ((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3)) ((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple8) -> (rule1 % int4))) -> (rule7 % int3)) ((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3)) ((triple8 ((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3)) ((((triple7) -> (rule3 % int5)) ((triple8 ((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3)) ((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
Harry is cold.
("Harry" "is" "cold" "+")
((((((triple10) -> (rule2 % int4))) -> (rule3 % int3)) ((((((triple10) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
((((((((triple10) -> (rule2 % int5))) -> (rule3 % int4)) ((((((triple10) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
((((((((triple10) -> (rule2 % int5))) -> (rule3 % int4)) ((((((triple10) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule7 % 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 kind.
("Harry" "is" "kind" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5