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