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