Bob is rough. Fiona is rough. Gary is nice. If Fiona is nice and Fiona is cold then Fiona is white. If someone is cold then they are nice. Rough, kind people are white.
Bob is rough.
("Bob" "is" "rough" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If Fiona is nice and Fiona is cold then Fiona is white.
((("Fiona" "is" "nice" "+") ("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "white" "+"))
If someone is cold then they are nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
Rough, kind people are white.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "white" "+"))
Fiona is rough.
True
1
proof
[(triple2)]
("Fiona" "is" "rough" "+")
triple2
Fiona is not rough.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "rough" "-")
triple2
Fiona is not nice.
Unknown
inv-rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "nice" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Bob is rough.[(triple1)] Fiona is rough.[(triple2)] Gary is nice.[(triple3)]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
triple3