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