Anne is white. Anne is young. Bob is green. Bob is nice. Bob is red. Bob is smart. Bob is young. Dave is blue. Dave is green. Dave is nice. Dave is red. Dave is smart. Dave is young. Gary is blue. Gary is smart. Gary is white. Young, white things are nice. Smart things are red. Red, white things are green. If something is smart then it is green. If something is blue then it is smart. Young, green things are blue. All blue things are nice. If Dave is nice then Dave is white. Nice things are red.
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Young, white things are nice.
((("something" "is" "young" "+") ("something" "is" "white" "+")) -> ("something" "is" "nice" "+"))
Smart things are red.
((("something" "is" "smart" "+")) -> ("something" "is" "red" "+"))
Red, white things are green.
((("something" "is" "red" "+") ("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
If something is smart then it is green.
((("something" "is" "smart" "+")) -> ("something" "is" "green" "+"))
If something is blue then it is smart.
((("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
Young, green things are blue.
((("something" "is" "young" "+") ("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
All blue things are nice.
((("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
If Dave is nice then Dave is white.
((("Dave" "is" "nice" "+")) -> ("Dave" "is" "white" "+"))
Nice things are red.
((("something" "is" "nice" "+")) -> ("something" "is" "red" "+"))
Dave is blue.
True
1
proof
[(triple8 OR ((triple13 triple9) -> rule6) OR ((triple13 ((triple12) -> rule4)) -> rule6) OR ((triple13 ((triple11 ((triple10) -> rule8)) -> rule3)) -> rule6) OR ((triple13 ((((triple10) -> rule9) ((triple10) -> rule8)) -> rule3)) -> rule6) OR ((triple13 ((((triple12) -> rule2) ((triple10) -> rule8)) -> rule3)) -> rule6))]
("Dave" "is" "blue" "+")
triple8
((triple13 triple9) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((triple13 ((triple12) -> (rule4 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((triple13 ((triple11 ((triple10) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((triple13 ((((triple10) -> (rule9 % int4)) ((triple10) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((triple13 ((((triple12) -> (rule2 % int4)) ((triple10) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is not smart.
False
1
inv-proof
[(triple12 OR ((triple8) -> rule5) OR ((((triple13 triple9) -> rule6)) -> rule5) OR ((((triple13 ((triple11 ((triple10) -> rule8)) -> rule3)) -> rule6)) -> rule5) OR ((((triple13 ((((triple10) -> rule9) ((triple10) -> rule8)) -> rule3)) -> rule6)) -> rule5))]
("Dave" "is" "smart" "-")
triple12
((triple8) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((triple13 triple9) -> (rule6 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((triple13 ((triple11 ((triple10) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple13 ((((triple10) -> (rule9 % int5)) ((triple10) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Gary is red.
True
2
proof
[(((triple15) -> rule2) OR ((((triple14) -> rule5)) -> rule2) OR ((((triple14) -> rule7)) -> rule9))]
("Gary" "is" "red" "+")
((triple15) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((triple14) -> (rule5 % int2))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple14) -> (rule7 % int2))) -> (rule9 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is not nice.
False
2
inv-proof
[(((triple14) -> rule7))]
("Gary" "is" "nice" "-")
((triple14) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Anne is red.
True
4
proof
[(((((triple2 triple1) -> rule1)) -> rule9))]
("Anne" "is" "red" "+")
((((triple2 triple1) -> (rule1 % int2))) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is not red.
False
4
inv-proof
[(((((triple2 triple1) -> rule1)) -> rule9))]
("Anne" "is" "red" "-")
((((triple2 triple1) -> (rule1 % int2))) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is green.
True
6
proof
[(((((((triple2 triple1) -> rule1)) -> rule9) triple1) -> rule3))]
("Anne" "is" "green" "+")
((((((triple2 triple1) -> (rule1 % int3))) -> (rule9 % int2)) triple1) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is not green.
False
6
inv-proof
[(((((((triple2 triple1) -> rule1)) -> rule9) triple1) -> rule3))]
("Anne" "is" "green" "-")
((((((triple2 triple1) -> (rule1 % int3))) -> (rule9 % int2)) triple1) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is blue.
True
8
proof
[(((triple2 ((((((triple2 triple1) -> rule1)) -> rule9) triple1) -> rule3)) -> rule6))]
("Anne" "is" "blue" "+")
((triple2 ((((((triple2 triple1) -> (rule1 % int4))) -> (rule9 % int3)) triple1) -> (rule3 % int2))) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is not blue.
False
8
inv-proof
[(((triple2 ((((((triple2 triple1) -> rule1)) -> rule9) triple1) -> rule3)) -> rule6))]
("Anne" "is" "blue" "-")
((triple2 ((((((triple2 triple1) -> (rule1 % int4))) -> (rule9 % int3)) triple1) -> (rule3 % int2))) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is smart.
True
9
proof
[(((((triple2 ((((((triple2 triple1) -> rule1)) -> rule9) triple1) -> rule3)) -> rule6)) -> rule5))]
("Anne" "is" "smart" "+")
((((triple2 ((((((triple2 triple1) -> (rule1 % int5))) -> (rule9 % int4)) triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Anne is not smart.
False
9
inv-proof
[(((((triple2 ((((((triple2 triple1) -> rule1)) -> rule9) triple1) -> rule3)) -> rule6)) -> rule5))]
("Anne" "is" "smart" "-")
((((triple2 ((((((triple2 triple1) -> (rule1 % int5))) -> (rule9 % int4)) triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Bob is not white.
Unknown
inv-random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Anne is white.[(triple1)] Anne is young.[(triple2)] Bob is green.[(triple3 OR ((triple6) -> rule4))] Bob is nice.[(triple4 OR ((((triple7 triple3) -> rule6)) -> rule7) OR ((((triple7 ((triple6) -> rule4)) -> rule6)) -> rule7))] Bob is red.[(triple5 OR ((triple4) -> rule9) OR ((triple6) -> rule2) OR ((((((triple7 triple3) -> rule6)) -> rule5)) -> rule2) OR ((((((triple7 triple3) -> rule6)) -> rule7)) -> rule9) OR ((((((triple7 ((triple6) -> rule4)) -> rule6)) -> rule7)) -> rule9))] Bob is smart.[(triple6 OR ((((triple7 triple3) -> rule6)) -> rule5))] Bob is young.[(triple7)] Dave is blue.[(triple8 OR ((triple13 triple9) -> rule6) OR ((triple13 ((triple12) -> rule4)) -> rule6) OR ((triple13 ((triple11 ((triple10) -> rule8)) -> rule3)) -> rule6) OR ((triple13 ((((triple10) -> rule9) ((triple10) -> rule8)) -> rule3)) -> rule6) OR ((triple13 ((((triple12) -> rule2) ((triple10) -> rule8)) -> rule3)) -> rule6))] Dave is green.[(triple9 OR ((triple12) -> rule4) OR ((((triple8) -> rule5)) -> rule4) OR ((triple11 ((triple10) -> rule8)) -> rule3) OR ((((triple10) -> rule9) ((triple10) -> rule8)) -> rule3) OR ((((triple12) -> rule2) ((triple10) -> rule8)) -> rule3) OR ((triple11 ((((triple8) -> rule7)) -> rule8)) -> rule3) OR ((((triple10) -> rule9) ((((triple8) -> rule7)) -> rule8)) -> rule3) OR ((((triple12) -> rule2) ((((triple8) -> rule7)) -> rule8)) -> rule3) OR ((((((triple8) -> rule5)) -> rule2) ((triple10) -> rule8)) -> rule3) OR ((((((triple8) -> rule7)) -> rule9) ((triple10) -> rule8)) -> rule3) OR ((((((triple8) -> rule5)) -> rule2) ((((triple8) -> rule7)) -> rule8)) -> rule3) OR ((((((triple8) -> rule7)) -> rule9) ((((triple8) -> rule7)) -> rule8)) -> rule3))] Dave is nice.[(triple10 OR ((triple8) -> rule7) OR ((((triple13 triple9) -> rule6)) -> rule7) OR ((((triple13 ((triple12) -> rule4)) -> rule6)) -> rule7))] Dave is red.[(triple11 OR ((triple10) -> rule9) OR ((triple12) -> rule2) OR ((((triple8) -> rule5)) -> rule2) OR ((((triple8) -> rule7)) -> rule9) OR ((((((triple13 triple9) -> rule6)) -> rule5)) -> rule2) OR ((((((triple13 triple9) -> rule6)) -> rule7)) -> rule9) OR ((((((triple13 ((triple12) -> rule4)) -> rule6)) -> rule7)) -> rule9))] Dave is smart.[(triple12 OR ((triple8) -> rule5) OR ((((triple13 triple9) -> rule6)) -> rule5) OR ((((triple13 ((triple11 ((triple10) -> rule8)) -> rule3)) -> rule6)) -> rule5) OR ((((triple13 ((((triple10) -> rule9) ((triple10) -> rule8)) -> rule3)) -> rule6)) -> rule5))] Dave is young.[(triple13)] Gary is blue.[(triple14)] Gary is smart.[(triple15 OR ((triple14) -> rule5))] Gary is white.[(triple16)] @1: Anne is nice.[(((triple2 triple1) -> rule1))] Bob is blue.[(((triple7 triple3) -> rule6) OR ((triple7 ((triple6) -> rule4)) -> rule6))] Dave is white.[(((triple10) -> rule8) OR ((((triple8) -> rule7)) -> rule8) OR ((((((triple13 triple9) -> rule6)) -> rule7)) -> rule8) OR ((((((triple13 ((triple12) -> rule4)) -> rule6)) -> rule7)) -> rule8))] Gary is green.[(((triple15) -> rule4) OR ((((triple14) -> rule5)) -> rule4) OR ((((triple15) -> rule2) triple16) -> rule3) OR ((((((triple14) -> rule5)) -> rule2) triple16) -> rule3) OR ((((((triple14) -> rule7)) -> rule9) triple16) -> rule3))] Gary is nice.[(((triple14) -> rule7))] Gary is red.[(((triple15) -> rule2) OR ((((triple14) -> rule5)) -> rule2) OR ((((triple14) -> rule7)) -> rule9))] @2: Anne is red.[(((((triple2 triple1) -> rule1)) -> rule9))] @3: Anne is green.[(((((((triple2 triple1) -> rule1)) -> rule9) triple1) -> rule3))] @4: Anne is blue.[(((triple2 ((((((triple2 triple1) -> rule1)) -> rule9) triple1) -> rule3)) -> rule6))] @5: Anne is smart.[(((((triple2 ((((((triple2 triple1) -> rule1)) -> rule9) triple1) -> rule3)) -> rule6)) -> rule5))]
Anne is white.
("Anne" "is" "white" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
((triple6) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple4
((((triple7 triple3) -> (rule6 % int2))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple7 ((triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
triple5
((triple4) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((triple6) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((((((triple7 triple3) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((triple7 triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((triple7 ((triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule9 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
triple6
((((triple7 triple3) -> (rule6 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
triple7
Dave is blue.
("Dave" "is" "blue" "+")
triple8
((triple13 triple9) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((triple13 ((triple12) -> (rule4 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((triple13 ((triple11 ((triple10) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((triple13 ((((triple10) -> (rule9 % int4)) ((triple10) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((triple13 ((((triple12) -> (rule2 % int4)) ((triple10) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
triple9
((triple12) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((((triple8) -> (rule5 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((triple11 ((triple10) -> (rule8 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple10) -> (rule9 % int3)) ((triple10) -> (rule8 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((triple12) -> (rule2 % int3)) ((triple10) -> (rule8 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((triple11 ((((triple8) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((triple10) -> (rule9 % int4)) ((((triple8) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((triple12) -> (rule2 % int4)) ((((triple8) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((triple8) -> (rule5 % int4))) -> (rule2 % int3)) ((triple10) -> (rule8 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((((triple8) -> (rule7 % int4))) -> (rule9 % int3)) ((triple10) -> (rule8 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((triple8) -> (rule5 % int5))) -> (rule2 % int4)) ((((triple8) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((((triple8) -> (rule7 % int4))) -> (rule9 % int3)) ((((triple8) -> (rule7 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
triple10
((triple8) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((((triple13 triple9) -> (rule6 % int2))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((triple13 ((triple12) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
triple11
((triple10) -> (rule9 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((triple12) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((((triple8) -> (rule5 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple8) -> (rule7 % int2))) -> (rule9 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((((triple13 triple9) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((((triple13 triple9) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule9 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((((triple13 ((triple12) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule9 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
triple12
((triple8) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((triple13 triple9) -> (rule6 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((triple13 ((triple11 ((triple10) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple13 ((((triple10) -> (rule9 % int5)) ((triple10) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is young.
("Dave" "is" "young" "+")
triple13
Gary is blue.
("Gary" "is" "blue" "+")
triple14
Gary is smart.
("Gary" "is" "smart" "+")
triple15
((triple14) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple16
Anne is nice.
("Anne" "is" "nice" "+")
((triple2 triple1) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((triple7 triple3) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((triple7 ((triple6) -> (rule4 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
((triple10) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((((triple8) -> (rule7 % int2))) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((((triple13 triple9) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((((triple13 ((triple12) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
((triple15) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple14) -> (rule5 % int2))) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple15) -> (rule2 % int2)) triple16) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((((triple14) -> (rule5 % int3))) -> (rule2 % int2)) triple16) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple14) -> (rule7 % int3))) -> (rule9 % int2)) triple16) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
((triple14) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple15) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((triple14) -> (rule5 % int2))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple14) -> (rule7 % int2))) -> (rule9 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
((((triple2 triple1) -> (rule1 % int2))) -> (rule9 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
((((((triple2 triple1) -> (rule1 % int3))) -> (rule9 % int2)) triple1) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
((triple2 ((((((triple2 triple1) -> (rule1 % int4))) -> (rule9 % int3)) triple1) -> (rule3 % int2))) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
((((triple2 ((((((triple2 triple1) -> (rule1 % int5))) -> (rule9 % int4)) triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5