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