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