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