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