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