Anne is green. Charlie is not big. Charlie is green. Charlie is quiet. Charlie is smart. Charlie is white. Erin is big. Erin is round. Gary is big. Gary is blue. Gary is green. Gary is not white. Big people are not quiet. If Charlie is green then Charlie is not round. Quiet people are not big.
Anne is green.
("Anne" "is" "green" "+")
Charlie is not big.
("Charlie" "is" "big" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is round.
("Erin" "is" "round" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is not white.
("Gary" "is" "white" "-")
Big people are not quiet.
((("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "-"))
If Charlie is green then Charlie is not round.
((("Charlie" "is" "green" "+")) -> ("Charlie" "is" "round" "-"))
Quiet people are not big.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "-"))
Erin is big.
True
1
proof
[(triple7)]
("Erin" "is" "big" "+")
triple7
Gary is not big.
False
1
inv-proof
[(triple9)]
("Gary" "is" "big" "-")
triple9
Erin is not quiet.
True
2
proof
[(((triple7) -> rule1))]
("Erin" "is" "quiet" "-")
((triple7) -> (rule1 % int1))
Erin is not quiet.
("Erin" "is" "quiet" "-")
int1
Charlie is round.
False
2
inv-proof
[(((triple3) -> rule2))]
("Charlie" "is" "round" "+")
((triple3) -> (rule2 % int1))
Charlie is not round.
("Charlie" "is" "round" "-")
int1
Anne is not big.
Unknown
inv-random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is green.[(triple1)] Charlie is green.[(triple3)] Charlie is not big.[(triple2 OR ((triple4) -> rule3))] Charlie is quiet.[(triple4)] Charlie is smart.[(triple5)] Charlie is white.[(triple6)] Erin is big.[(triple7)] Erin is round.[(triple8)] Gary is big.[(triple9)] Gary is blue.[(triple10)] Gary is green.[(triple11)] Gary is not white.[(triple12)] @1: Charlie is not round.[(((triple3) -> rule2))] Erin is not quiet.[(((triple7) -> rule1))] Gary is not quiet.[(((triple9) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is not big.
("Charlie" "is" "big" "-")
triple2
((triple4) -> (rule3 % int1))
Charlie is not big.
("Charlie" "is" "big" "-")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
Charlie is white.
("Charlie" "is" "white" "+")
triple6
Erin is big.
("Erin" "is" "big" "+")
triple7
Erin is round.
("Erin" "is" "round" "+")
triple8
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is not white.
("Gary" "is" "white" "-")
triple12
Charlie is not round.
("Charlie" "is" "round" "-")
((triple3) -> (rule2 % int1))
Charlie is not round.
("Charlie" "is" "round" "-")
int1
Erin is not quiet.
("Erin" "is" "quiet" "-")
((triple7) -> (rule1 % int1))
Erin is not quiet.
("Erin" "is" "quiet" "-")
int1
Gary is not quiet.
("Gary" "is" "quiet" "-")
((triple9) -> (rule1 % int1))
Gary is not quiet.
("Gary" "is" "quiet" "-")
int1