Erin is not furry. Erin is not kind. Erin is nice. Erin is quiet. Erin is rough. Erin is round. Erin is white. Gary is nice. Gary is not quiet. Gary is rough. Round things are quiet. If something is nice and furry then it is not rough. If something is quiet and kind then it is rough. If something is furry and white then it is not nice. If something is rough and not quiet then it is not white. Furry, nice things are not white.
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is not quiet.
("Gary" "is" "quiet" "-")
Gary is rough.
("Gary" "is" "rough" "+")
Round things are quiet.
((("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
If something is nice and furry then it is not rough.
((("something" "is" "nice" "+") ("something" "is" "furry" "+")) -> ("something" "is" "rough" "-"))
If something is quiet and kind then it is rough.
((("something" "is" "quiet" "+") ("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
If something is furry and white then it is not nice.
((("something" "is" "furry" "+") ("something" "is" "white" "+")) -> ("something" "is" "nice" "-"))
If something is rough and not quiet then it is not white.
((("something" "is" "rough" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "white" "-"))
Furry, nice things are not white.
((("something" "is" "furry" "+") ("something" "is" "nice" "+")) -> ("something" "is" "white" "-"))
Erin is white.
True
1
proof
[(triple7)]
("Erin" "is" "white" "+")
triple7
Erin is not quiet.
False
1
inv-proof
[(triple4 OR ((triple6) -> rule1))]
("Erin" "is" "quiet" "-")
triple4
((triple6) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Gary is not white.
True
3
proof
[(((triple10 triple9) -> rule5))]
("Gary" "is" "white" "-")
((triple10 triple9) -> (rule5 % int1))
Gary is not white.
("Gary" "is" "white" "-")
int1
Gary is white.
False
3
inv-proof
[(((triple10 triple9) -> rule5))]
("Gary" "is" "white" "+")
((triple10 triple9) -> (rule5 % int1))
Gary is not white.
("Gary" "is" "white" "-")
int1
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Erin is nice.[(triple3)] Erin is not furry.[(triple1)] Erin is not kind.[(triple2)] Erin is quiet.[(triple4 OR ((triple6) -> rule1))] Erin is rough.[(triple5)] Erin is round.[(triple6)] Erin is white.[(triple7)] Gary is nice.[(triple8)] Gary is not quiet.[(triple9)] Gary is rough.[(triple10)] @1: Gary is not white.[(((triple10 triple9) -> rule5))]
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Erin is not furry.
("Erin" "is" "furry" "-")
triple1
Erin is not kind.
("Erin" "is" "kind" "-")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
((triple6) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Erin is round.
("Erin" "is" "round" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Gary is not white.
("Gary" "is" "white" "-")
((triple10 triple9) -> (rule5 % int1))
Gary is not white.
("Gary" "is" "white" "-")
int1