Anne is blue. Anne is green. Erin is big. Erin is green. Erin is red. Fiona is green. Fiona is rough. Fiona is round. Gary is rough. Gary is round. If someone is big then they are rough. Round people are blue. If someone is round and quiet then they are rough. If Anne is blue then Anne is rough. If Gary is rough then Gary is quiet. All red, blue people are green.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is green.
("Anne" "is" "green" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
If someone is big then they are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Round people are blue.
((("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and quiet then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "+"))
If Anne is blue then Anne is rough.
((("Anne" "is" "blue" "+")) -> ("Anne" "is" "rough" "+"))
If Gary is rough then Gary is quiet.
((("Gary" "is" "rough" "+")) -> ("Gary" "is" "quiet" "+"))
All red, blue people are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Gary is rough.
True
1
proof
[(triple9)]
("Gary" "is" "rough" "+")
triple9
Fiona is not green.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "green" "-")
triple6
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "green" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Erin is big.[(triple3)] Erin is green.[(triple4)] Erin is red.[(triple5)] Fiona is green.[(triple6)] Fiona is rough.[(triple7)] Fiona is round.[(triple8)] Gary is rough.[(triple9)] Gary is round.[(triple10)] @1: Anne is rough.[(((triple1) -> rule4))] Erin is rough.[(((triple3) -> rule1))] Fiona is blue.[(((triple8) -> rule2))] Gary is blue.[(((triple10) -> rule2))] Gary is quiet.[(((triple9) -> rule5))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Erin is big.
("Erin" "is" "big" "+")
triple3
Erin is green.
("Erin" "is" "green" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple7
Fiona is round.
("Fiona" "is" "round" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple10
Anne is rough.
("Anne" "is" "rough" "+")
((triple1) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((triple3) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple8) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple10) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple9) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1