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