Anne is green. Dave is furry. Dave is green. Erin is furry. Erin is quiet. Erin is red. Erin is rough. Erin is not young. Gary is green. Gary is nice. All furry, rough things are not nice. All quiet things are not green. If Erin is young and Erin is red then Erin is quiet.
Anne is green.
("Anne" "is" "green" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is not young.
("Erin" "is" "young" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
All furry, rough things are not nice.
((("something" "is" "furry" "+") ("something" "is" "rough" "+")) -> ("something" "is" "nice" "-"))
All quiet things are not green.
((("something" "is" "quiet" "+")) -> ("something" "is" "green" "-"))
If Erin is young and Erin is red then Erin is quiet.
((("Erin" "is" "young" "+") ("Erin" "is" "red" "+")) -> ("Erin" "is" "quiet" "+"))
Erin is quiet.
True
1
proof
[(triple5)]
("Erin" "is" "quiet" "+")
triple5
Dave is not green.
False
1
inv-proof
[(triple3)]
("Dave" "is" "green" "-")
triple3
Erin is not green.
True
2
proof
[(((triple5) -> rule2))]
("Erin" "is" "green" "-")
((triple5) -> (rule2 % int1))
Erin is not green.
("Erin" "is" "green" "-")
int1
Erin is green.
False
2
inv-proof
[(((triple5) -> rule2))]
("Erin" "is" "green" "+")
((triple5) -> (rule2 % int1))
Erin is not green.
("Erin" "is" "green" "-")
int1
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Anne is not nice.
Unknown
inv-random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Anne is green.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3)] Erin is furry.[(triple4)] Erin is not young.[(triple8)] Erin is quiet.[(triple5)] Erin is red.[(triple6)] Erin is rough.[(triple7)] Gary is green.[(triple9)] Gary is nice.[(triple10)] @1: Erin is not green.[(((triple5) -> rule2))] Erin is not nice.[(((triple4 triple7) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple4
Erin is not young.
("Erin" "is" "young" "-")
triple8
Erin is quiet.
("Erin" "is" "quiet" "+")
triple5
Erin is red.
("Erin" "is" "red" "+")
triple6
Erin is rough.
("Erin" "is" "rough" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Erin is not green.
("Erin" "is" "green" "-")
((triple5) -> (rule2 % int1))
Erin is not green.
("Erin" "is" "green" "-")
int1
Erin is not nice.
("Erin" "is" "nice" "-")
((triple4 triple7) -> (rule1 % int1))
Erin is not nice.
("Erin" "is" "nice" "-")
int1