Anne is blue. Bob is white. Fiona is not rough. If Anne is blue and Anne is rough then Anne is not round. All smart people are not kind. If Fiona is kind then Fiona is not white. Round people are rough. All smart people are rough. All kind, rough people are white. If someone is kind and not rough then they are white. If Anne is not kind then Anne is white.
Anne is blue.
("Anne" "is" "blue" "+")
Bob is white.
("Bob" "is" "white" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
If Anne is blue and Anne is rough then Anne is not round.
((("Anne" "is" "blue" "+") ("Anne" "is" "rough" "+")) -> ("Anne" "is" "round" "-"))
All smart people are not kind.
((("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "-"))
If Fiona is kind then Fiona is not white.
((("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "white" "-"))
Round people are rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
All smart people are rough.
((("someone" "is" "smart" "+")) -> ("someone" "is" "rough" "+"))
All kind, rough people are white.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
If someone is kind and not rough then they are white.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "white" "+"))
If Anne is not kind then Anne is white.
((("Anne" "is" "kind" "~")) -> ("Anne" "is" "white" "+"))
Fiona is not rough.
True
1
proof
[(triple3)]
("Fiona" "is" "rough" "-")
triple3
Fiona is rough.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "rough" "+")
triple3
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "rough" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Anne is blue.[(triple1)] Bob is white.[(triple2)] Fiona is not rough.[(triple3)]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple3