Erin is blue. Erin is round. Erin is smart. Gary is quiet. Gary is round. Gary is smart. Gary is white. If Gary is smart then Gary is white. Smart, blue things are quiet.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
If Gary is smart then Gary is white.
((("Gary" "is" "smart" "+")) -> ("Gary" "is" "white" "+"))
Smart, blue things are quiet.
((("something" "is" "smart" "+") ("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
Gary is round.
True
1
proof
[(triple5)]
("Gary" "is" "round" "+")
triple5
Gary is not smart.
False
1
inv-proof
[(triple6)]
("Gary" "is" "smart" "-")
triple6
Erin is quiet.
True
3
proof
[(((triple3 triple1) -> rule2))]
("Erin" "is" "quiet" "+")
((triple3 triple1) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is not quiet.
False
3
inv-proof
[(((triple3 triple1) -> rule2))]
("Erin" "is" "quiet" "-")
((triple3 triple1) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Erin is blue.[(triple1)] Erin is round.[(triple2)] Erin is smart.[(triple3)] Gary is quiet.[(triple4)] Gary is round.[(triple5)] Gary is smart.[(triple6)] Gary is white.[(triple7 OR ((triple6) -> rule1))] @1: Erin is quiet.[(((triple3 triple1) -> rule2))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is round.
("Erin" "is" "round" "+")
triple2
Erin is smart.
("Erin" "is" "smart" "+")
triple3
Gary is quiet.
("Gary" "is" "quiet" "+")
triple4
Gary is round.
("Gary" "is" "round" "+")
triple5
Gary is smart.
("Gary" "is" "smart" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7
((triple6) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple3 triple1) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1