Anne is rough. Charlie is blue. Fiona is not cold. If Anne is white then Anne is blue. Red people are blue. If someone is cold and nice then they are rough. If someone is white then they are cold. Round people are cold. White, red people are not round. Blue people are not white. If Fiona is not round then Fiona is rough.
Anne is rough.
("Anne" "is" "rough" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
If Anne is white then Anne is blue.
((("Anne" "is" "white" "+")) -> ("Anne" "is" "blue" "+"))
Red people are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and nice then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is white then they are cold.
((("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
Round people are cold.
((("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
White, red people are not round.
((("someone" "is" "white" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "-"))
Blue people are not white.
((("someone" "is" "blue" "+")) -> ("someone" "is" "white" "-"))
If Fiona is not round then Fiona is rough.
((("Fiona" "is" "round" "~")) -> ("Fiona" "is" "rough" "+"))
Anne is rough.
True
1
proof
[(triple1)]
("Anne" "is" "rough" "+")
triple1
Charlie is not blue.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "blue" "-")
triple2
Fiona is not blue.
Unknown
inv-rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Anne is rough.[(triple1)] Charlie is blue.[(triple2)] Fiona is not cold.[(triple3)] @1: Charlie is not white.[(((triple2) -> rule7))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple3
Charlie is not white.
("Charlie" "is" "white" "-")
((triple2) -> (rule7 % int1))
Charlie is not white.
("Charlie" "is" "white" "-")
int1