Anne is red. Anne is young. Dave is not green. Dave is quiet. Dave is white. Erin is red. Erin is young. Gary is big. Gary is green. Gary is red. Gary is white. Gary is young. If someone is quiet and young then they are red. If Gary is green and Gary is not big then Gary is rough. If Erin is rough and Erin is big then Erin is quiet. All quiet, rough people are green. If someone is red and not big then they are quiet. Rough, green people are white. Quiet people are white. If Anne is white then Anne is quiet.
Anne is red.
("Anne" "is" "red" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is not green.
("Dave" "is" "green" "-")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is quiet and young then they are red.
((("someone" "is" "quiet" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If Gary is green and Gary is not big then Gary is rough.
((("Gary" "is" "green" "+") ("Gary" "is" "big" "~")) -> ("Gary" "is" "rough" "+"))
If Erin is rough and Erin is big then Erin is quiet.
((("Erin" "is" "rough" "+") ("Erin" "is" "big" "+")) -> ("Erin" "is" "quiet" "+"))
All quiet, rough people are green.
((("someone" "is" "quiet" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is red and not big then they are quiet.
((("someone" "is" "red" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "quiet" "+"))
Rough, green people are white.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
Quiet people are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
If Anne is white then Anne is quiet.
((("Anne" "is" "white" "+")) -> ("Anne" "is" "quiet" "+"))
Gary is big.
True
1
proof
[(triple8)]
("Gary" "is" "big" "+")
triple8
Gary is not white.
False
1
inv-proof
[(triple11)]
("Gary" "is" "white" "-")
triple11
Erin is not white.
Unknown
inv-rconc
[@2: Erin is white.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("Erin" "is" "white" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Anne is red.[(triple1)] Anne is young.[(triple2)] Dave is not green.[(triple3)] Dave is quiet.[(triple4)] Dave is white.[(triple5 OR ((triple4) -> rule7))] Erin is red.[(triple6)] Erin is young.[(triple7)] Gary is big.[(triple8)] Gary is green.[(triple9)] Gary is red.[(triple10)] Gary is white.[(triple11)] Gary is young.[(triple12)]
Anne is red.
("Anne" "is" "red" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
Dave is not green.
("Dave" "is" "green" "-")
triple3
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Dave is white.
("Dave" "is" "white" "+")
triple5
((triple4) -> (rule7 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is white.
("Gary" "is" "white" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12