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