Charlie is cold. Charlie is green. Charlie is rough. Charlie is white. Charlie is young. Dave is cold. Dave is green. Dave is red. Dave is white. Dave is young. Gary is furry. Gary is green. Gary is red. Gary is rough. Gary is white. Gary is young. Green things are rough. If something is rough and red then it is young. If Charlie is green and Charlie is red then Charlie is young.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Green things are rough.
((("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
If something is rough and red then it is young.
((("something" "is" "rough" "+") ("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
If Charlie is green and Charlie is red then Charlie is young.
((("Charlie" "is" "green" "+") ("Charlie" "is" "red" "+")) -> ("Charlie" "is" "young" "+"))
Gary is furry.
True
1
proof
[(triple11)]
("Gary" "is" "furry" "+")
triple11
Dave is not red.
False
1
inv-proof
[(triple8)]
("Dave" "is" "red" "-")
triple8
Dave is rough.
True
2
proof
[(((triple7) -> rule1))]
("Dave" "is" "rough" "+")
((triple7) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is not rough.
False
2
inv-proof
[(((triple7) -> rule1))]
("Dave" "is" "rough" "-")
((triple7) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is not furry.
Unknown
inv-random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is rough.[(triple3 OR ((triple2) -> rule1))] Charlie is white.[(triple4)] Charlie is young.[(triple5)] Dave is cold.[(triple6)] Dave is green.[(triple7)] Dave is red.[(triple8)] Dave is white.[(triple9)] Dave is young.[(triple10 OR ((((triple7) -> rule1) triple8) -> rule2))] Gary is furry.[(triple11)] Gary is green.[(triple12)] Gary is red.[(triple13)] Gary is rough.[(triple14 OR ((triple12) -> rule1))] Gary is white.[(triple15)] Gary is young.[(triple16 OR ((triple14 triple13) -> rule2) OR ((((triple12) -> rule1) triple13) -> rule2))] @1: Dave is rough.[(((triple7) -> rule1))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
((triple2) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is white.
("Dave" "is" "white" "+")
triple9
Dave is young.
("Dave" "is" "young" "+")
triple10
((((triple7) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple12
Gary is red.
("Gary" "is" "red" "+")
triple13
Gary is rough.
("Gary" "is" "rough" "+")
triple14
((triple12) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
((triple14 triple13) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((triple12) -> (rule1 % int2)) triple13) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
((triple7) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1