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