Charlie is blue. Charlie is rough. Charlie is white. Dave is furry. Dave is young. Fiona is red. Fiona is rough. If someone is furry then they are not rough.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
If someone is furry then they are not rough.
((("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "-"))
Fiona is rough.
True
1
proof
[(triple7)]
("Fiona" "is" "rough" "+")
triple7
Dave is not furry.
False
1
inv-proof
[(triple4)]
("Dave" "is" "furry" "-")
triple4
Dave is not rough.
True
2
proof
[(((triple4) -> rule1))]
("Dave" "is" "rough" "-")
((triple4) -> (rule1 % int1))
Dave is not rough.
("Dave" "is" "rough" "-")
int1
Dave is rough.
False
2
inv-proof
[(((triple4) -> rule1))]
("Dave" "is" "rough" "+")
((triple4) -> (rule1 % int1))
Dave is not rough.
("Dave" "is" "rough" "-")
int1
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Charlie is blue.[(triple1)] Charlie is rough.[(triple2)] Charlie is white.[(triple3)] Dave is furry.[(triple4)] Dave is young.[(triple5)] Fiona is red.[(triple6)] Fiona is rough.[(triple7)] @1: Dave is not rough.[(((triple4) -> rule1))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Charlie is white.
("Charlie" "is" "white" "+")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple7
Dave is not rough.
("Dave" "is" "rough" "-")
((triple4) -> (rule1 % int1))
Dave is not rough.
("Dave" "is" "rough" "-")
int1