Bob is white. Fiona is quiet. Gary is green. If Bob is quiet then Bob is white. All nice, green things are cold. If Gary is rough then Gary is quiet. If Bob is nice and Bob is cold then Bob is kind. If something is rough then it is kind. If Bob is quiet and Bob is kind then Bob is rough.
Bob is white.
("Bob" "is" "white" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Gary is green.
("Gary" "is" "green" "+")
If Bob is quiet then Bob is white.
((("Bob" "is" "quiet" "+")) -> ("Bob" "is" "white" "+"))
All nice, green things are cold.
((("something" "is" "nice" "+") ("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
If Gary is rough then Gary is quiet.
((("Gary" "is" "rough" "+")) -> ("Gary" "is" "quiet" "+"))
If Bob is nice and Bob is cold then Bob is kind.
((("Bob" "is" "nice" "+") ("Bob" "is" "cold" "+")) -> ("Bob" "is" "kind" "+"))
If something is rough then it is kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
If Bob is quiet and Bob is kind then Bob is rough.
((("Bob" "is" "quiet" "+") ("Bob" "is" "kind" "+")) -> ("Bob" "is" "rough" "+"))
Fiona is quiet.
True
1
proof
[(triple2)]
("Fiona" "is" "quiet" "+")
triple2
Bob is not white.
False
1
inv-proof
[(triple1)]
("Bob" "is" "white" "-")
triple1
Bob is not kind.
Unknown
inv-rconc
[@2: Bob is kind.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Bob" "is" "kind" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Bob is white.[(triple1)] Fiona is quiet.[(triple2)] Gary is green.[(triple3)]
Bob is white.
("Bob" "is" "white" "+")
triple1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple3