Bob is round. Fiona is red. Gary is round. If Gary is green and Gary is red then Gary is nice. All white things are round.
Bob is round.
("Bob" "is" "round" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
If Gary is green and Gary is red then Gary is nice.
((("Gary" "is" "green" "+") ("Gary" "is" "red" "+")) -> ("Gary" "is" "nice" "+"))
All white things are round.
((("something" "is" "white" "+")) -> ("something" "is" "round" "+"))
Fiona is red.
True
1
proof
[(triple2)]
("Fiona" "is" "red" "+")
triple2
Gary is not round.
False
1
inv-proof
[(triple3)]
("Gary" "is" "round" "-")
triple3
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "round" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is round.[(triple1)] Fiona is red.[(triple2)] Gary is round.[(triple3)]
Bob is round.
("Bob" "is" "round" "+")
triple1
Fiona is red.
("Fiona" "is" "red" "+")
triple2
Gary is round.
("Gary" "is" "round" "+")
triple3