Anne is cold. Anne is not rough. Anne is smart. Charlie is cold. Charlie is green. Charlie is not red. Charlie is smart. Dave is red. Dave is white. Fiona is not green. If Fiona is red and Fiona is smart then Fiona is rough. If something is red then it is cold.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not rough.
("Anne" "is" "rough" "-")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is not red.
("Charlie" "is" "red" "-")
Charlie is smart.
("Charlie" "is" "smart" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
If Fiona is red and Fiona is smart then Fiona is rough.
((("Fiona" "is" "red" "+") ("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "rough" "+"))
If something is red then it is cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
Charlie is not red.
True
1
proof
[(triple6)]
("Charlie" "is" "red" "-")
triple6
Dave is not red.
False
1
inv-proof
[(triple8)]
("Dave" "is" "red" "-")
triple8
Dave is cold.
True
2
proof
[(((triple8) -> rule2))]
("Dave" "is" "cold" "+")
((triple8) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not cold.
False
2
inv-proof
[(((triple8) -> rule2))]
("Dave" "is" "cold" "-")
((triple8) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is cold.
Unknown
rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "cold" "+")
Charlie is not quiet.
Unknown
inv-random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is cold.[(triple1)] Anne is not rough.[(triple2)] Anne is smart.[(triple3)] Charlie is cold.[(triple4)] Charlie is green.[(triple5)] Charlie is not red.[(triple6)] Charlie is smart.[(triple7)] Dave is red.[(triple8)] Dave is white.[(triple9)] Fiona is not green.[(triple10)] @1: Dave is cold.[(((triple8) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is not rough.
("Anne" "is" "rough" "-")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is not red.
("Charlie" "is" "red" "-")
triple6
Charlie is smart.
("Charlie" "is" "smart" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is white.
("Dave" "is" "white" "+")
triple9
Fiona is not green.
("Fiona" "is" "green" "-")
triple10
Dave is cold.
("Dave" "is" "cold" "+")
((triple8) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1