Anne is cold. Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is kind. Bob is round. Bob is not smart. Charlie is blue. Gary is furry. Round people are big. If someone is cold then they are big. If Anne is smart and Anne is kind then Anne is round. If someone is big then they are furry. If Gary is cold and Gary is round then Gary is kind. All blue, furry people are kind. All furry people are blue. If someone is cold and kind then they are round.
Anne is cold.
("Anne" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Charlie is blue.
("Charlie" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Round people are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is cold then they are big.
((("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If Anne is smart and Anne is kind then Anne is round.
((("Anne" "is" "smart" "+") ("Anne" "is" "kind" "+")) -> ("Anne" "is" "round" "+"))
If someone is big then they are furry.
((("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
If Gary is cold and Gary is round then Gary is kind.
((("Gary" "is" "cold" "+") ("Gary" "is" "round" "+")) -> ("Gary" "is" "kind" "+"))
All blue, furry people are kind.
((("someone" "is" "blue" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
All furry people are blue.
((("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and kind then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
Anne is cold.
True
1
proof
[(triple1)]
("Anne" "is" "cold" "+")
triple1
Bob is not kind.
False
1
inv-proof
[(triple6 OR ((triple3 triple5) -> rule6) OR ((triple3 ((triple2) -> rule4)) -> rule6) OR ((((triple5) -> rule7) triple5) -> rule6) OR ((((triple5) -> rule7) ((triple2) -> rule4)) -> rule6) OR ((triple3 ((((triple4) -> rule2)) -> rule4)) -> rule6) OR ((triple3 ((((triple7) -> rule1)) -> rule4)) -> rule6) OR ((((((triple2) -> rule4)) -> rule7) triple5) -> rule6) OR ((((triple5) -> rule7) ((((triple4) -> rule2)) -> rule4)) -> rule6) OR ((((triple5) -> rule7) ((((triple7) -> rule1)) -> rule4)) -> rule6) OR ((((((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule6) OR ((((((triple2) -> rule4)) -> rule7) ((((triple4) -> rule2)) -> rule4)) -> rule6) OR ((((((triple2) -> rule4)) -> rule7) ((((triple7) -> rule1)) -> rule4)) -> rule6) OR ((((((((triple4) -> rule2)) -> rule4)) -> rule7) triple5) -> rule6) OR ((((((((triple7) -> rule1)) -> rule4)) -> rule7) triple5) -> rule6) OR ((((((((triple4) -> rule2)) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule6) OR ((((((((triple7) -> rule1)) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule6) OR ((((((((triple4) -> rule2)) -> rule4)) -> rule7) ((((triple4) -> rule2)) -> rule4)) -> rule6) OR ((((((((triple4) -> rule2)) -> rule4)) -> rule7) ((((triple7) -> rule1)) -> rule4)) -> rule6) OR ((((((((triple7) -> rule1)) -> rule4)) -> rule7) ((((triple4) -> rule2)) -> rule4)) -> rule6) OR ((((((((triple7) -> rule1)) -> rule4)) -> rule7) ((((triple7) -> rule1)) -> rule4)) -> rule6))]
("Bob" "is" "kind" "-")
triple6
((triple3 triple5) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple3 ((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple5) -> (rule7 % int2)) triple5) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple5) -> (rule7 % int3)) ((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((triple3 ((((triple4) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((triple3 ((((triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple2) -> (rule4 % int3))) -> (rule7 % int2)) triple5) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple5) -> (rule7 % int4)) ((((triple4) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple5) -> (rule7 % int4)) ((((triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((triple2) -> (rule4 % int3))) -> (rule7 % int2)) ((triple2) -> (rule4 % int3))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((((triple2) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple4) -> (rule2 % int2))) -> (rule4 % int4))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple2) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple7) -> (rule1 % int2))) -> (rule4 % int4))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((((triple4) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) triple5) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((((triple7) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) triple5) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((((triple4) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((triple2) -> (rule4 % int3))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((((triple7) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((triple2) -> (rule4 % int3))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((((triple4) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((((triple4) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((((triple4) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((((triple7) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((((triple7) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((((triple4) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((((triple7) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((((triple7) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Gary is blue.
True
2
proof
[(((triple10) -> rule7))]
("Gary" "is" "blue" "+")
((triple10) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not blue.
False
2
inv-proof
[(((triple10) -> rule7))]
("Gary" "is" "blue" "-")
((triple10) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Anne is furry.
True
3
proof
[(((((triple1) -> rule2)) -> rule4))]
("Anne" "is" "furry" "+")
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Gary is not kind.
False
4
inv-proof
[(((((triple10) -> rule7) triple10) -> rule6))]
("Gary" "is" "kind" "-")
((((triple10) -> (rule7 % int2)) triple10) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Anne is blue.
True
4
proof
[(((((((triple1) -> rule2)) -> rule4)) -> rule7))]
("Anne" "is" "blue" "+")
((((((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is not blue.
False
4
inv-proof
[(((((((triple1) -> rule2)) -> rule4)) -> rule7))]
("Anne" "is" "blue" "-")
((((((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is kind.
True
8
proof
[(((((((((triple1) -> rule2)) -> rule4)) -> rule7) ((((triple1) -> rule2)) -> rule4)) -> rule6))]
("Anne" "is" "kind" "+")
((((((((triple1) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((((triple1) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule6 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is not kind.
False
8
inv-proof
[(((((((((triple1) -> rule2)) -> rule4)) -> rule7) ((((triple1) -> rule2)) -> rule4)) -> rule6))]
("Anne" "is" "kind" "-")
((((((((triple1) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((((triple1) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule6 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is round.
True
10
proof
[(((triple1 ((((((((triple1) -> rule2)) -> rule4)) -> rule7) ((((triple1) -> rule2)) -> rule4)) -> rule6)) -> rule8))]
("Anne" "is" "round" "+")
((triple1 ((((((((triple1) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple1) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule6 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is not round.
False
10
inv-proof
[(((triple1 ((((((((triple1) -> rule2)) -> rule4)) -> rule7) ((((triple1) -> rule2)) -> rule4)) -> rule6)) -> rule8))]
("Anne" "is" "round" "-")
((triple1 ((((((((triple1) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple1) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule6 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Charlie" "is" "round" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Gary" "is" "round" "+")
Charlie is not big.
Unknown
inv-rconc
[@2: Charlie is big.[CWA. Example of deepest failure = (rule1 <- rule8 <- FAIL)]]
("Charlie" "is" "big" "-")
Gary is big.
Unknown
rconc
[@2: Gary is big.[CWA. Example of deepest failure = (rule1 <- rule8 <- FAIL)]]
("Gary" "is" "big" "+")
Charlie is not kind.
Unknown
inv-rconc
[@4: Charlie is kind.[CWA. Example of deepest failure = (rule6 <- rule4 <- rule1 <- rule8 <- FAIL)]]
("Charlie" "is" "kind" "-")
Charlie is furry.
Unknown
rconc
[@3: Charlie is furry.[CWA. Example of deepest failure = (rule4 <- rule1 <- rule8 <- FAIL)]]
("Charlie" "is" "furry" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
@0: Anne is cold.[(triple1)] Bob is big.[(triple2 OR ((triple4) -> rule2) OR ((triple7) -> rule1) OR ((((triple4 triple6) -> rule8)) -> rule1) OR ((((triple4 ((triple3 triple5) -> rule6)) -> rule8)) -> rule1) OR ((((triple4 ((((triple5) -> rule7) triple5) -> rule6)) -> rule8)) -> rule1))] Bob is blue.[(triple3 OR ((triple5) -> rule7) OR ((((triple2) -> rule4)) -> rule7) OR ((((((triple4) -> rule2)) -> rule4)) -> rule7) OR ((((((triple7) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple4 triple6) -> rule8)) -> rule1)) -> rule4)) -> rule7))] Bob is cold.[(triple4)] Bob is furry.[(triple5 OR ((triple2) -> rule4) OR ((((triple4) -> rule2)) -> rule4) OR ((((triple7) -> rule1)) -> rule4) OR ((((((triple4 triple6) -> rule8)) -> rule1)) -> rule4))] Bob is kind.[(triple6 OR ((triple3 triple5) -> rule6) OR ((triple3 ((triple2) -> rule4)) -> rule6) OR ((((triple5) -> rule7) triple5) -> rule6) OR ((((triple5) -> rule7) ((triple2) -> rule4)) -> rule6) OR ((triple3 ((((triple4) -> rule2)) -> rule4)) -> rule6) OR ((triple3 ((((triple7) -> rule1)) -> rule4)) -> rule6) OR ((((((triple2) -> rule4)) -> rule7) triple5) -> rule6) OR ((((triple5) -> rule7) ((((triple4) -> rule2)) -> rule4)) -> rule6) OR ((((triple5) -> rule7) ((((triple7) -> rule1)) -> rule4)) -> rule6) OR ((((((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule6) OR ((((((triple2) -> rule4)) -> rule7) ((((triple4) -> rule2)) -> rule4)) -> rule6) OR ((((((triple2) -> rule4)) -> rule7) ((((triple7) -> rule1)) -> rule4)) -> rule6) OR ((((((((triple4) -> rule2)) -> rule4)) -> rule7) triple5) -> rule6) OR ((((((((triple7) -> rule1)) -> rule4)) -> rule7) triple5) -> rule6) OR ((((((((triple4) -> rule2)) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule6) OR ((((((((triple7) -> rule1)) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule6) OR ((((((((triple4) -> rule2)) -> rule4)) -> rule7) ((((triple4) -> rule2)) -> rule4)) -> rule6) OR ((((((((triple4) -> rule2)) -> rule4)) -> rule7) ((((triple7) -> rule1)) -> rule4)) -> rule6) OR ((((((((triple7) -> rule1)) -> rule4)) -> rule7) ((((triple4) -> rule2)) -> rule4)) -> rule6) OR ((((((((triple7) -> rule1)) -> rule4)) -> rule7) ((((triple7) -> rule1)) -> rule4)) -> rule6))] Bob is not smart.[(triple8)] Bob is round.[(triple7 OR ((triple4 triple6) -> rule8) OR ((triple4 ((triple3 triple5) -> rule6)) -> rule8) OR ((triple4 ((triple3 ((triple2) -> rule4)) -> rule6)) -> rule8) OR ((triple4 ((((triple5) -> rule7) triple5) -> rule6)) -> rule8) OR ((triple4 ((((triple5) -> rule7) ((triple2) -> rule4)) -> rule6)) -> rule8) OR ((triple4 ((triple3 ((((triple4) -> rule2)) -> rule4)) -> rule6)) -> rule8) OR ((triple4 ((((((triple2) -> rule4)) -> rule7) triple5) -> rule6)) -> rule8) OR ((triple4 ((((triple5) -> rule7) ((((triple4) -> rule2)) -> rule4)) -> rule6)) -> rule8) OR ((triple4 ((((((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule6)) -> rule8) OR ((triple4 ((((((triple2) -> rule4)) -> rule7) ((((triple4) -> rule2)) -> rule4)) -> rule6)) -> rule8) OR ((triple4 ((((((((triple4) -> rule2)) -> rule4)) -> rule7) triple5) -> rule6)) -> rule8) OR ((triple4 ((((((((triple4) -> rule2)) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule6)) -> rule8) OR ((triple4 ((((((((triple4) -> rule2)) -> rule4)) -> rule7) ((((triple4) -> rule2)) -> rule4)) -> rule6)) -> rule8))] Charlie is blue.[(triple9)] Gary is furry.[(triple10)] @1: Anne is big.[(((triple1) -> rule2))] Gary is blue.[(((triple10) -> rule7))] @2: Anne is furry.[(((((triple1) -> rule2)) -> rule4))] Gary is kind.[(((((triple10) -> rule7) triple10) -> rule6))] @3: Anne is blue.[(((((((triple1) -> rule2)) -> rule4)) -> rule7))] @4: Anne is kind.[(((((((((triple1) -> rule2)) -> rule4)) -> rule7) ((((triple1) -> rule2)) -> rule4)) -> rule6))] @5: Anne is round.[(((triple1 ((((((((triple1) -> rule2)) -> rule4)) -> rule7) ((((triple1) -> rule2)) -> rule4)) -> rule6)) -> rule8))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple2
((triple4) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple7) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((((triple4 triple6) -> (rule8 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple4 ((triple3 triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple4 ((((triple5) -> (rule7 % int4)) triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
triple3
((triple5) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((triple2) -> (rule4 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((((triple4) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((((triple4 triple6) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is furry.
("Bob" "is" "furry" "+")
triple5
((triple2) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((triple7) -> (rule1 % int2))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((((triple4 triple6) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
triple6
((triple3 triple5) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple3 ((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple5) -> (rule7 % int2)) triple5) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple5) -> (rule7 % int3)) ((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((triple3 ((((triple4) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((triple3 ((((triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple2) -> (rule4 % int3))) -> (rule7 % int2)) triple5) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple5) -> (rule7 % int4)) ((((triple4) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple5) -> (rule7 % int4)) ((((triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((triple2) -> (rule4 % int3))) -> (rule7 % int2)) ((triple2) -> (rule4 % int3))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((((triple2) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple4) -> (rule2 % int2))) -> (rule4 % int4))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple2) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple7) -> (rule1 % int2))) -> (rule4 % int4))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((((triple4) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) triple5) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((((triple7) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) triple5) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((((triple4) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((triple2) -> (rule4 % int3))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((((triple7) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((triple2) -> (rule4 % int3))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((((triple4) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((((triple4) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((((triple4) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((((triple7) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((((triple7) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((((triple4) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((((triple7) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((((triple7) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is not smart.
("Bob" "is" "smart" "-")
triple8
Bob is round.
("Bob" "is" "round" "+")
triple7
((triple4 triple6) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((triple4 ((triple3 triple5) -> (rule6 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((triple4 ((triple3 ((triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((triple4 ((((triple5) -> (rule7 % int3)) triple5) -> (rule6 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((triple4 ((((triple5) -> (rule7 % int4)) ((triple2) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((triple4 ((triple3 ((((triple4) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((triple4 ((((((triple2) -> (rule4 % int4))) -> (rule7 % int3)) triple5) -> (rule6 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((triple4 ((((triple5) -> (rule7 % int5)) ((((triple4) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((triple4 ((((((triple2) -> (rule4 % int4))) -> (rule7 % int3)) ((triple2) -> (rule4 % int4))) -> (rule6 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((triple4 ((((((triple2) -> (rule4 % int5))) -> (rule7 % int4)) ((((triple4) -> (rule2 % int3))) -> (rule4 % int5))) -> (rule6 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((triple4 ((((((((triple4) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule7 % int3)) triple5) -> (rule6 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((triple4 ((((((((triple4) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule7 % int3)) ((triple2) -> (rule4 % int4))) -> (rule6 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((triple4 ((((((((triple4) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple4) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule6 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Charlie is blue.
("Charlie" "is" "blue" "+")
triple9
Gary is furry.
("Gary" "is" "furry" "+")
triple10
Anne is big.
("Anne" "is" "big" "+")
((triple1) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple10) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((((triple10) -> (rule7 % int2)) triple10) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
((((((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
((((((((triple1) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2)) ((((triple1) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule6 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
((triple1 ((((((((triple1) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple1) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule6 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5