Anne is rough. Charlie is round. Erin is quiet. Gary is round. Rough people are white. Green, round people are white. Red people are round. If someone is rough then they are big. All red, quiet people are green. All quiet, green people are big.
Anne is rough.
("Anne" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Rough people are white.
((("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
Green, round people are white.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
Red people are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is rough then they are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
All red, quiet people are green.
((("someone" "is" "red" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
All quiet, green people are big.
((("someone" "is" "quiet" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Erin is quiet.
True
1
proof
[(triple3)]
("Erin" "is" "quiet" "+")
triple3
Anne is not rough.
False
1
inv-proof
[(triple1)]
("Anne" "is" "rough" "-")
triple1
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "green" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
@0: Anne is rough.[(triple1)] Charlie is round.[(triple2)] Erin is quiet.[(triple3)] Gary is round.[(triple4)] @1: Anne is big.[(((triple1) -> rule4))] Anne is white.[(((triple1) -> rule1))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Gary is round.
("Gary" "is" "round" "+")
triple4
Anne is big.
("Anne" "is" "big" "+")
((triple1) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
((triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1