Anne is blue. Anne is furry. Anne is green. Anne is nice. Anne is not rough. Anne is young. Erin is not furry. Erin is nice. Erin is young. Gary is not blue. Gary is not cold. Gary is green. Gary is nice. Gary is not rough. Gary is young. If something is blue and cold then it is furry. If something is young and not nice then it is not furry. If Erin is nice then Erin is not rough. If Gary is young and Gary is nice then Gary is furry. If Erin is furry then Erin is not green. Blue things are young.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is not rough.
("Anne" "is" "rough" "-")
Anne is young.
("Anne" "is" "young" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is not rough.
("Gary" "is" "rough" "-")
Gary is young.
("Gary" "is" "young" "+")
If something is blue and cold then it is furry.
((("something" "is" "blue" "+") ("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
If something is young and not nice then it is not furry.
((("something" "is" "young" "+") ("something" "is" "nice" "~")) -> ("something" "is" "furry" "-"))
If Erin is nice then Erin is not rough.
((("Erin" "is" "nice" "+")) -> ("Erin" "is" "rough" "-"))
If Gary is young and Gary is nice then Gary is furry.
((("Gary" "is" "young" "+") ("Gary" "is" "nice" "+")) -> ("Gary" "is" "furry" "+"))
If Erin is furry then Erin is not green.
((("Erin" "is" "furry" "+")) -> ("Erin" "is" "green" "-"))
Blue things are young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
Gary is not cold.
True
1
proof
[(triple11)]
("Gary" "is" "cold" "-")
triple11
Gary is blue.
False
1
inv-proof
[(triple10)]
("Gary" "is" "blue" "+")
triple10
Gary is furry.
True
3
proof
[(((triple15 triple13) -> rule4))]
("Gary" "is" "furry" "+")
((triple15 triple13) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Erin is rough.
False
2
inv-proof
[(((triple8) -> rule3))]
("Erin" "is" "rough" "+")
((triple8) -> (rule3 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Erin is not cold.
Unknown
inv-random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
Anne is not cold.
Unknown
inv-random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is nice.[(triple4)] Anne is not rough.[(triple5)] Anne is young.[(triple6 OR ((triple1) -> rule6))] Erin is nice.[(triple8)] Erin is not furry.[(triple7)] Erin is young.[(triple9)] Gary is green.[(triple12)] Gary is nice.[(triple13)] Gary is not blue.[(triple10)] Gary is not cold.[(triple11)] Gary is not rough.[(triple14)] Gary is young.[(triple15)] @1: Erin is not rough.[(((triple8) -> rule3))] Gary is furry.[(((triple15 triple13) -> rule4))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is not rough.
("Anne" "is" "rough" "-")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple6
((triple1) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
triple8
Erin is not furry.
("Erin" "is" "furry" "-")
triple7
Erin is young.
("Erin" "is" "young" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple12
Gary is nice.
("Gary" "is" "nice" "+")
triple13
Gary is not blue.
("Gary" "is" "blue" "-")
triple10
Gary is not cold.
("Gary" "is" "cold" "-")
triple11
Gary is not rough.
("Gary" "is" "rough" "-")
triple14
Gary is young.
("Gary" "is" "young" "+")
triple15
Erin is not rough.
("Erin" "is" "rough" "-")
((triple8) -> (rule3 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((triple15 triple13) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1