Bob is white. Charlie is furry. Charlie is green. Charlie is red. Charlie is smart. Charlie is young. Dave is white. Gary is green. Gary is red. Gary is smart. If Gary is green and Gary is blue then Gary is young. Furry things are green. All red, young things are smart. White things are red. Furry things are smart. If something is red then it is young. Furry, young things are green. Young, smart things are furry.
Bob is white.
("Bob" "is" "white" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is white.
("Dave" "is" "white" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If Gary is green and Gary is blue then Gary is young.
((("Gary" "is" "green" "+") ("Gary" "is" "blue" "+")) -> ("Gary" "is" "young" "+"))
Furry things are green.
((("something" "is" "furry" "+")) -> ("something" "is" "green" "+"))
All red, young things are smart.
((("something" "is" "red" "+") ("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
White things are red.
((("something" "is" "white" "+")) -> ("something" "is" "red" "+"))
Furry things are smart.
((("something" "is" "furry" "+")) -> ("something" "is" "smart" "+"))
If something is red then it is young.
((("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
Furry, young things are green.
((("something" "is" "furry" "+") ("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
Young, smart things are furry.
((("something" "is" "young" "+") ("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
Charlie is red.
True
1
proof
[(triple4)]
("Charlie" "is" "red" "+")
triple4
Gary is not green.
False
1
inv-proof
[(triple8 OR ((((((triple9) -> rule6) triple10) -> rule8)) -> rule2) OR ((((((triple9) -> rule6) triple10) -> rule8) ((triple9) -> rule6)) -> rule7) OR ((((((triple9) -> rule6) ((triple9 ((triple9) -> rule6)) -> rule3)) -> rule8)) -> rule2) OR ((((((triple9) -> rule6) ((triple9 ((triple9) -> rule6)) -> rule3)) -> rule8) ((triple9) -> rule6)) -> rule7))]
("Gary" "is" "green" "-")
triple8
((((((triple9) -> (rule6 % int3)) triple10) -> (rule8 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((((triple9) -> (rule6 % int3)) triple10) -> (rule8 % int2)) ((triple9) -> (rule6 % int3))) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((((triple9) -> (rule6 % int4)) ((triple9 ((triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((((triple9) -> (rule6 % int4)) ((triple9 ((triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple9) -> (rule6 % int4))) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Dave is red.
True
2
proof
[(((triple7) -> rule4))]
("Dave" "is" "red" "+")
((triple7) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Gary is not young.
False
2
inv-proof
[(((triple9) -> rule6))]
("Gary" "is" "young" "-")
((triple9) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is furry.
True
4
proof
[(((((triple9) -> rule6) triple10) -> rule8) OR ((((triple9) -> rule6) ((triple9 ((triple9) -> rule6)) -> rule3)) -> rule8))]
("Gary" "is" "furry" "+")
((((triple9) -> (rule6 % int2)) triple10) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple9) -> (rule6 % int3)) ((triple9 ((triple9) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Bob is not young.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule6))]
("Bob" "is" "young" "-")
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Dave is smart.
True
6
proof
[(((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule6)) -> rule3))]
("Dave" "is" "smart" "+")
((((triple7) -> (rule4 % int3)) ((((triple7) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is not smart.
False
6
inv-proof
[(((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule6)) -> rule3))]
("Dave" "is" "smart" "-")
((((triple7) -> (rule4 % int3)) ((((triple7) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Bob is furry.
True
10
proof
[(((((((triple1) -> rule4)) -> rule6) ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule6)) -> rule3)) -> rule8))]
("Bob" "is" "furry" "+")
((((((triple1) -> (rule4 % int4))) -> (rule6 % int3)) ((((triple1) -> (rule4 % int4)) ((((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is not furry.
False
10
inv-proof
[(((((((triple1) -> rule4)) -> rule6) ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule6)) -> rule3)) -> rule8))]
("Bob" "is" "furry" "-")
((((((triple1) -> (rule4 % int4))) -> (rule6 % int3)) ((((triple1) -> (rule4 % int4)) ((((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is green.
True
11
proof
[(((((((((triple1) -> rule4)) -> rule6) ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule6)) -> rule3)) -> rule8)) -> rule2) OR ((((((((triple1) -> rule4)) -> rule6) ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule6)) -> rule3)) -> rule8) ((((triple1) -> rule4)) -> rule6)) -> rule7))]
("Bob" "is" "green" "+")
((((((((triple1) -> (rule4 % int5))) -> (rule6 % int4)) ((((triple1) -> (rule4 % int5)) ((((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((((triple1) -> (rule4 % int5))) -> (rule6 % int4)) ((((triple1) -> (rule4 % int5)) ((((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Dave is not green.
False
11
inv-proof
[(((((((((triple7) -> rule4)) -> rule6) ((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule6)) -> rule3)) -> rule8)) -> rule2) OR ((((((((triple7) -> rule4)) -> rule6) ((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule6)) -> rule3)) -> rule8) ((((triple7) -> rule4)) -> rule6)) -> rule7))]
("Dave" "is" "green" "-")
((((((((triple7) -> (rule4 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule4 % int5)) ((((triple7) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple7) -> (rule4 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule4 % int5)) ((((triple7) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple7) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
Charlie is not white.
Unknown
inv-random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
Gary is not white.
Unknown
inv-random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is white.[(triple1)] Charlie is furry.[(triple2 OR ((triple6 triple5) -> rule8) OR ((triple6 ((triple4 triple6) -> rule3)) -> rule8) OR ((((triple4) -> rule6) triple5) -> rule8) OR ((((triple4) -> rule6) ((triple4 triple6) -> rule3)) -> rule8) OR ((triple6 ((triple4 ((triple4) -> rule6)) -> rule3)) -> rule8) OR ((((triple4) -> rule6) ((triple4 ((triple4) -> rule6)) -> rule3)) -> rule8))] Charlie is green.[(triple3 OR ((triple2) -> rule2) OR ((triple2 triple6) -> rule7) OR ((((triple6 triple5) -> rule8)) -> rule2) OR ((triple2 ((triple4) -> rule6)) -> rule7) OR ((((triple6 triple5) -> rule8) triple6) -> rule7) OR ((((triple6 triple5) -> rule8) ((triple4) -> rule6)) -> rule7) OR ((((triple6 ((triple4 triple6) -> rule3)) -> rule8)) -> rule2) OR ((((((triple4) -> rule6) triple5) -> rule8)) -> rule2) OR ((((triple6 ((triple4 triple6) -> rule3)) -> rule8) triple6) -> rule7) OR ((((((triple4) -> rule6) triple5) -> rule8) triple6) -> rule7) OR ((((((triple4) -> rule6) ((triple4 triple6) -> rule3)) -> rule8)) -> rule2) OR ((((triple6 ((triple4 triple6) -> rule3)) -> rule8) ((triple4) -> rule6)) -> rule7) OR ((((((triple4) -> rule6) triple5) -> rule8) ((triple4) -> rule6)) -> rule7) OR ((((((triple4) -> rule6) ((triple4 triple6) -> rule3)) -> rule8) triple6) -> rule7) OR ((((((triple4) -> rule6) ((triple4 triple6) -> rule3)) -> rule8) ((triple4) -> rule6)) -> rule7) OR ((((triple6 ((triple4 ((triple4) -> rule6)) -> rule3)) -> rule8)) -> rule2) OR ((((triple6 ((triple4 ((triple4) -> rule6)) -> rule3)) -> rule8) triple6) -> rule7) OR ((((((triple4) -> rule6) ((triple4 ((triple4) -> rule6)) -> rule3)) -> rule8)) -> rule2) OR ((((triple6 ((triple4 ((triple4) -> rule6)) -> rule3)) -> rule8) ((triple4) -> rule6)) -> rule7) OR ((((((triple4) -> rule6) ((triple4 ((triple4) -> rule6)) -> rule3)) -> rule8) triple6) -> rule7) OR ((((((triple4) -> rule6) ((triple4 ((triple4) -> rule6)) -> rule3)) -> rule8) ((triple4) -> rule6)) -> rule7))] Charlie is red.[(triple4)] Charlie is smart.[(triple5 OR ((triple2) -> rule5) OR ((triple4 triple6) -> rule3) OR ((triple4 ((triple4) -> rule6)) -> rule3))] Charlie is young.[(triple6 OR ((triple4) -> rule6))] Dave is white.[(triple7)] Gary is green.[(triple8 OR ((((((triple9) -> rule6) triple10) -> rule8)) -> rule2) OR ((((((triple9) -> rule6) triple10) -> rule8) ((triple9) -> rule6)) -> rule7) OR ((((((triple9) -> rule6) ((triple9 ((triple9) -> rule6)) -> rule3)) -> rule8)) -> rule2) OR ((((((triple9) -> rule6) ((triple9 ((triple9) -> rule6)) -> rule3)) -> rule8) ((triple9) -> rule6)) -> rule7))] Gary is red.[(triple9)] Gary is smart.[(triple10 OR ((triple9 ((triple9) -> rule6)) -> rule3))] @1: Bob is red.[(((triple1) -> rule4))] Dave is red.[(((triple7) -> rule4))] Gary is young.[(((triple9) -> rule6))] @2: Bob is young.[(((((triple1) -> rule4)) -> rule6))] Dave is young.[(((((triple7) -> rule4)) -> rule6))] Gary is furry.[(((((triple9) -> rule6) triple10) -> rule8) OR ((((triple9) -> rule6) ((triple9 ((triple9) -> rule6)) -> rule3)) -> rule8))] @3: Bob is smart.[(((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule6)) -> rule3))] Dave is smart.[(((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule6)) -> rule3))] @4: Bob is furry.[(((((((triple1) -> rule4)) -> rule6) ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule6)) -> rule3)) -> rule8))] Dave is furry.[(((((((triple7) -> rule4)) -> rule6) ((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule6)) -> rule3)) -> rule8))] @5: Bob is green.[(((((((((triple1) -> rule4)) -> rule6) ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule6)) -> rule3)) -> rule8)) -> rule2) OR ((((((((triple1) -> rule4)) -> rule6) ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule6)) -> rule3)) -> rule8) ((((triple1) -> rule4)) -> rule6)) -> rule7))] Dave is green.[(((((((((triple7) -> rule4)) -> rule6) ((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule6)) -> rule3)) -> rule8)) -> rule2) OR ((((((((triple7) -> rule4)) -> rule6) ((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule6)) -> rule3)) -> rule8) ((((triple7) -> rule4)) -> rule6)) -> rule7))]
Bob is white.
("Bob" "is" "white" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
((triple6 triple5) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((triple6 ((triple4 triple6) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple4) -> (rule6 % int2)) triple5) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple4) -> (rule6 % int3)) ((triple4 triple6) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((triple6 ((triple4 ((triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((triple4) -> (rule6 % int3)) ((triple4 ((triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
triple3
((triple2) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((triple2 triple6) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((((triple6 triple5) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((triple2 ((triple4) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple6 triple5) -> (rule8 % int2)) triple6) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple6 triple5) -> (rule8 % int3)) ((triple4) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((triple6 ((triple4 triple6) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple4) -> (rule6 % int3)) triple5) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((triple6 ((triple4 triple6) -> (rule3 % int3))) -> (rule8 % int2)) triple6) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple4) -> (rule6 % int3)) triple5) -> (rule8 % int2)) triple6) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((((triple4) -> (rule6 % int4)) ((triple4 triple6) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple6 ((triple4 triple6) -> (rule3 % int4))) -> (rule8 % int3)) ((triple4) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple4) -> (rule6 % int3)) triple5) -> (rule8 % int2)) ((triple4) -> (rule6 % int3))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((((triple4) -> (rule6 % int4)) ((triple4 triple6) -> (rule3 % int3))) -> (rule8 % int2)) triple6) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple4) -> (rule6 % int4)) ((triple4 triple6) -> (rule3 % int3))) -> (rule8 % int2)) ((triple4) -> (rule6 % int4))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple6 ((triple4 ((triple4) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple6 ((triple4 ((triple4) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple6) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple4) -> (rule6 % int4)) ((triple4 ((triple4) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple6 ((triple4 ((triple4) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple4) -> (rule6 % int4))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple4) -> (rule6 % int4)) ((triple4 ((triple4) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple6) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple4) -> (rule6 % int4)) ((triple4 ((triple4) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple4) -> (rule6 % int4))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
((triple2) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((triple4 triple6) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((triple4 ((triple4) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
triple6
((triple4) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple8
((((((triple9) -> (rule6 % int3)) triple10) -> (rule8 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((((triple9) -> (rule6 % int3)) triple10) -> (rule8 % int2)) ((triple9) -> (rule6 % int3))) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((((triple9) -> (rule6 % int4)) ((triple9 ((triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((((triple9) -> (rule6 % int4)) ((triple9 ((triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple9) -> (rule6 % int4))) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is smart.
("Gary" "is" "smart" "+")
triple10
((triple9 ((triple9) -> (rule6 % int2))) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
((triple1) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple7) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple9) -> (rule6 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((((triple7) -> (rule4 % int2))) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
((((triple9) -> (rule6 % int2)) triple10) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple9) -> (rule6 % int3)) ((triple9 ((triple9) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
((((triple1) -> (rule4 % int3)) ((((triple1) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
((((triple7) -> (rule4 % int3)) ((((triple7) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
((((((triple1) -> (rule4 % int4))) -> (rule6 % int3)) ((((triple1) -> (rule4 % int4)) ((((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
((((((triple7) -> (rule4 % int4))) -> (rule6 % int3)) ((((triple7) -> (rule4 % int4)) ((((triple7) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
((((((((triple1) -> (rule4 % int5))) -> (rule6 % int4)) ((((triple1) -> (rule4 % int5)) ((((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((((triple1) -> (rule4 % int5))) -> (rule6 % int4)) ((((triple1) -> (rule4 % int5)) ((((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple1) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
((((((((triple7) -> (rule4 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule4 % int5)) ((((triple7) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple7) -> (rule4 % int5))) -> (rule6 % int4)) ((((triple7) -> (rule4 % int5)) ((((triple7) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple7) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5