Anne is young. Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is smart. Charlie is young. Dave is furry. Dave is quiet. Dave is smart. Dave is white. Harry is big. Harry is cold. Harry is furry. Harry is quiet. Harry is smart. Harry is young. White things are smart. Young, smart things are big. All smart, furry things are quiet. If something is young and cold then it is furry. If something is smart then it is furry. If something is white then it is smart. All cold things are white. Furry things are quiet.
Anne is young.
("Anne" "is" "young" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
White things are smart.
((("something" "is" "white" "+")) -> ("something" "is" "smart" "+"))
Young, smart things are big.
((("something" "is" "young" "+") ("something" "is" "smart" "+")) -> ("something" "is" "big" "+"))
All smart, furry things are quiet.
((("something" "is" "smart" "+") ("something" "is" "furry" "+")) -> ("something" "is" "quiet" "+"))
If something is young and cold then it is furry.
((("something" "is" "young" "+") ("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
If something is smart then it is furry.
((("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
If something is white then it is smart.
((("something" "is" "white" "+")) -> ("something" "is" "smart" "+"))
All cold things are white.
((("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
Furry things are quiet.
((("something" "is" "furry" "+")) -> ("something" "is" "quiet" "+"))
Dave is white.
True
1
proof
[(triple10)]
("Dave" "is" "white" "+")
triple10
Harry is not smart.
False
1
inv-proof
[(triple15 OR ((((triple12) -> rule7)) -> rule1) OR ((((triple12) -> rule7)) -> rule6))]
("Harry" "is" "smart" "-")
triple15
((((triple12) -> (rule7 % int2))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple12) -> (rule7 % int2))) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Charlie is big.
True
3
proof
[(((triple6 triple5) -> rule2) OR ((triple6 ((((triple2) -> rule7)) -> rule1)) -> rule2) OR ((triple6 ((((triple2) -> rule7)) -> rule6)) -> rule2))]
("Charlie" "is" "big" "+")
((triple6 triple5) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple6 ((((triple2) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((triple6 ((((triple2) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is not white.
False
2
inv-proof
[(((triple2) -> rule7))]
("Charlie" "is" "white" "-")
((triple2) -> (rule7 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Anne is not white.
Unknown
inv-rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Anne" "is" "white" "-")
Anne is furry.
Unknown
rconc
[@3: Anne is furry.[CWA. Example of deepest failure = (rule5 <- rule1 <- rule7 <- FAIL)]]
("Anne" "is" "furry" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Anne is young.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3 OR ((triple5) -> rule5) OR ((triple6 triple2) -> rule4) OR ((((((triple2) -> rule7)) -> rule1)) -> rule5) OR ((((((triple2) -> rule7)) -> rule6)) -> rule5))] Charlie is quiet.[(triple4 OR ((triple3) -> rule8) OR ((triple5 triple3) -> rule3) OR ((((triple5) -> rule5)) -> rule8) OR ((((triple6 triple2) -> rule4)) -> rule8) OR ((triple5 ((triple5) -> rule5)) -> rule3) OR ((triple5 ((triple6 triple2) -> rule4)) -> rule3) OR ((((((triple2) -> rule7)) -> rule1) triple3) -> rule3) OR ((((((triple2) -> rule7)) -> rule6) triple3) -> rule3) OR ((((((triple2) -> rule7)) -> rule1) ((triple5) -> rule5)) -> rule3) OR ((((((triple2) -> rule7)) -> rule1) ((triple6 triple2) -> rule4)) -> rule3) OR ((((((triple2) -> rule7)) -> rule6) ((triple5) -> rule5)) -> rule3) OR ((((((triple2) -> rule7)) -> rule6) ((triple6 triple2) -> rule4)) -> rule3) OR ((((((((triple2) -> rule7)) -> rule1)) -> rule5)) -> rule8) OR ((((((((triple2) -> rule7)) -> rule6)) -> rule5)) -> rule8) OR ((triple5 ((((((triple2) -> rule7)) -> rule1)) -> rule5)) -> rule3) OR ((triple5 ((((((triple2) -> rule7)) -> rule6)) -> rule5)) -> rule3) OR ((((((triple2) -> rule7)) -> rule1) ((((((triple2) -> rule7)) -> rule1)) -> rule5)) -> rule3) OR ((((((triple2) -> rule7)) -> rule1) ((((((triple2) -> rule7)) -> rule6)) -> rule5)) -> rule3) OR ((((((triple2) -> rule7)) -> rule6) ((((((triple2) -> rule7)) -> rule1)) -> rule5)) -> rule3) OR ((((((triple2) -> rule7)) -> rule6) ((((((triple2) -> rule7)) -> rule6)) -> rule5)) -> rule3))] Charlie is smart.[(triple5 OR ((((triple2) -> rule7)) -> rule1) OR ((((triple2) -> rule7)) -> rule6))] Charlie is young.[(triple6)] Dave is furry.[(triple7 OR ((triple9) -> rule5) OR ((((triple10) -> rule1)) -> rule5) OR ((((triple10) -> rule6)) -> rule5))] Dave is quiet.[(triple8 OR ((triple7) -> rule8) OR ((triple9 triple7) -> rule3) OR ((((triple9) -> rule5)) -> rule8) OR ((triple9 ((triple9) -> rule5)) -> rule3) OR ((((triple10) -> rule1) triple7) -> rule3) OR ((((triple10) -> rule6) triple7) -> rule3) OR ((((triple10) -> rule1) ((triple9) -> rule5)) -> rule3) OR ((((triple10) -> rule6) ((triple9) -> rule5)) -> rule3) OR ((((((triple10) -> rule1)) -> rule5)) -> rule8) OR ((((((triple10) -> rule6)) -> rule5)) -> rule8) OR ((triple9 ((((triple10) -> rule1)) -> rule5)) -> rule3) OR ((triple9 ((((triple10) -> rule6)) -> rule5)) -> rule3) OR ((((triple10) -> rule1) ((((triple10) -> rule1)) -> rule5)) -> rule3) OR ((((triple10) -> rule1) ((((triple10) -> rule6)) -> rule5)) -> rule3) OR ((((triple10) -> rule6) ((((triple10) -> rule1)) -> rule5)) -> rule3) OR ((((triple10) -> rule6) ((((triple10) -> rule6)) -> rule5)) -> rule3))] Dave is smart.[(triple9 OR ((triple10) -> rule1) OR ((triple10) -> rule6))] Dave is white.[(triple10)] Harry is big.[(triple11 OR ((triple16 triple15) -> rule2) OR ((triple16 ((((triple12) -> rule7)) -> rule1)) -> rule2) OR ((triple16 ((((triple12) -> rule7)) -> rule6)) -> rule2))] Harry is cold.[(triple12)] Harry is furry.[(triple13 OR ((triple15) -> rule5) OR ((triple16 triple12) -> rule4) OR ((((((triple12) -> rule7)) -> rule1)) -> rule5) OR ((((((triple12) -> rule7)) -> rule6)) -> rule5))] Harry is quiet.[(triple14 OR ((triple13) -> rule8) OR ((triple15 triple13) -> rule3) OR ((((triple15) -> rule5)) -> rule8) OR ((((triple16 triple12) -> rule4)) -> rule8) OR ((triple15 ((triple15) -> rule5)) -> rule3) OR ((triple15 ((triple16 triple12) -> rule4)) -> rule3) OR ((((((triple12) -> rule7)) -> rule1) triple13) -> rule3) OR ((((((triple12) -> rule7)) -> rule6) triple13) -> rule3) OR ((((((triple12) -> rule7)) -> rule1) ((triple15) -> rule5)) -> rule3) OR ((((((triple12) -> rule7)) -> rule1) ((triple16 triple12) -> rule4)) -> rule3) OR ((((((triple12) -> rule7)) -> rule6) ((triple15) -> rule5)) -> rule3) OR ((((((triple12) -> rule7)) -> rule6) ((triple16 triple12) -> rule4)) -> rule3) OR ((((((((triple12) -> rule7)) -> rule1)) -> rule5)) -> rule8) OR ((((((((triple12) -> rule7)) -> rule6)) -> rule5)) -> rule8) OR ((triple15 ((((((triple12) -> rule7)) -> rule1)) -> rule5)) -> rule3) OR ((triple15 ((((((triple12) -> rule7)) -> rule6)) -> rule5)) -> rule3) OR ((((((triple12) -> rule7)) -> rule1) ((((((triple12) -> rule7)) -> rule1)) -> rule5)) -> rule3) OR ((((((triple12) -> rule7)) -> rule1) ((((((triple12) -> rule7)) -> rule6)) -> rule5)) -> rule3) OR ((((((triple12) -> rule7)) -> rule6) ((((((triple12) -> rule7)) -> rule1)) -> rule5)) -> rule3) OR ((((((triple12) -> rule7)) -> rule6) ((((((triple12) -> rule7)) -> rule6)) -> rule5)) -> rule3))] Harry is smart.[(triple15 OR ((((triple12) -> rule7)) -> rule1) OR ((((triple12) -> rule7)) -> rule6))] Harry is young.[(triple16)] @1: Charlie is big.[(((triple6 triple5) -> rule2) OR ((triple6 ((((triple2) -> rule7)) -> rule1)) -> rule2) OR ((triple6 ((((triple2) -> rule7)) -> rule6)) -> rule2))] Charlie is white.[(((triple2) -> rule7))] Harry is white.[(((triple12) -> rule7))]
Anne is young.
("Anne" "is" "young" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is furry.
("Charlie" "is" "furry" "+")
triple3
((triple5) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((triple6 triple2) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((((((triple2) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((triple2) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
((triple3) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((triple5 triple3) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((((triple5) -> (rule5 % int2))) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple6 triple2) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((triple5 ((triple5) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((triple5 ((triple6 triple2) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((((triple2) -> (rule7 % int3))) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((triple2) -> (rule7 % int3))) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((triple2) -> (rule7 % int4))) -> (rule1 % int3)) ((triple5) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule1 % int3)) ((triple6 triple2) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule6 % int3)) ((triple5) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule6 % int3)) ((triple6 triple2) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((((triple2) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((((triple2) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((triple5 ((((((triple2) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((triple5 ((((((triple2) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule1 % int3)) ((((((triple2) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule1 % int3)) ((((((triple2) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple2) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple2) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
((((triple2) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((triple2) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
triple6
Dave is furry.
("Dave" "is" "furry" "+")
triple7
((triple9) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((((triple10) -> (rule1 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple10) -> (rule6 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple8
((triple7) -> (rule8 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((triple9 triple7) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((((triple9) -> (rule5 % int2))) -> (rule8 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((triple9 ((triple9) -> (rule5 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((triple10) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple10) -> (rule6 % int2)) triple7) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple10) -> (rule1 % int3)) ((triple9) -> (rule5 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((triple10) -> (rule6 % int3)) ((triple9) -> (rule5 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((triple10) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((triple10) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((triple9 ((((triple10) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((triple9 ((((triple10) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((triple10) -> (rule1 % int3)) ((((triple10) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((triple10) -> (rule1 % int3)) ((((triple10) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((triple10) -> (rule6 % int3)) ((((triple10) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((triple10) -> (rule6 % int3)) ((((triple10) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
triple9
((triple10) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((triple10) -> (rule6 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
triple10
Harry is big.
("Harry" "is" "big" "+")
triple11
((triple16 triple15) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((triple16 ((((triple12) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((triple16 ((((triple12) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is furry.
("Harry" "is" "furry" "+")
triple13
((triple15) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((triple16 triple12) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((((triple12) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((((triple12) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
((triple13) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((triple15 triple13) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((((triple15) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((triple16 triple12) -> (rule4 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((triple15 ((triple15) -> (rule5 % int2))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((triple15 ((triple16 triple12) -> (rule4 % int2))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((((triple12) -> (rule7 % int3))) -> (rule1 % int2)) triple13) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((((triple12) -> (rule7 % int3))) -> (rule6 % int2)) triple13) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((((triple12) -> (rule7 % int4))) -> (rule1 % int3)) ((triple15) -> (rule5 % int2))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple12) -> (rule7 % int4))) -> (rule1 % int3)) ((triple16 triple12) -> (rule4 % int2))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple12) -> (rule7 % int4))) -> (rule6 % int3)) ((triple15) -> (rule5 % int2))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple12) -> (rule7 % int4))) -> (rule6 % int3)) ((triple16 triple12) -> (rule4 % int2))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((((triple12) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((((triple12) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((triple15 ((((((triple12) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((triple15 ((((((triple12) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple12) -> (rule7 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple12) -> (rule7 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple12) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple12) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple12) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple12) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
triple15
((((triple12) -> (rule7 % int2))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple12) -> (rule7 % int2))) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
triple16
Charlie is big.
("Charlie" "is" "big" "+")
((triple6 triple5) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple6 ((((triple2) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((triple6 ((((triple2) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
((triple2) -> (rule7 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple12) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1