Charlie is red. Dave is white. Erin is quiet. All round people are white. All quiet, rough people are round. If Charlie is quiet then Charlie is red.
Charlie is red.
("Charlie" "is" "red" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
All round people are white.
((("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
All quiet, rough people are round.
((("someone" "is" "quiet" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If Charlie is quiet then Charlie is red.
((("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "red" "+"))
Dave is white.
True
1
proof
[(triple2)]
("Dave" "is" "white" "+")
triple2
Dave is not white.
False
1
inv-proof
[(triple2)]
("Dave" "is" "white" "-")
triple2
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "round" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
@0: Charlie is red.[(triple1)] Dave is white.[(triple2)] Erin is quiet.[(triple3)]
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Dave is white.
("Dave" "is" "white" "+")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3