Dave is green. Dave is white. Fiona is cold. Fiona is furry. Fiona is green. Fiona is rough. Fiona is young. If Dave is green then Dave is rough.
Dave is green.
("Dave" "is" "green" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If Dave is green then Dave is rough.
((("Dave" "is" "green" "+")) -> ("Dave" "is" "rough" "+"))
Fiona is furry.
True
1
proof
[(triple4)]
("Fiona" "is" "furry" "+")
triple4
Fiona is not green.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "green" "-")
triple5
Dave is rough.
True
2
proof
[(((triple1) -> rule1))]
("Dave" "is" "rough" "+")
((triple1) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is not rough.
False
2
inv-proof
[(((triple1) -> rule1))]
("Dave" "is" "rough" "-")
((triple1) -> (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" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Dave is green.[(triple1)] Dave is white.[(triple2)] Fiona is cold.[(triple3)] Fiona is furry.[(triple4)] Fiona is green.[(triple5)] Fiona is rough.[(triple6)] Fiona is young.[(triple7)] @1: Dave is rough.[(((triple1) -> rule1))]
Dave is green.
("Dave" "is" "green" "+")
triple1
Dave is white.
("Dave" "is" "white" "+")
triple2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
((triple1) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1