Anne is not cold. Anne is not furry. Anne is smart. Erin is big. Erin is cold. Erin is furry. Erin is not nice. Erin is quiet. Erin is smart. Erin is young. Big people are not nice. If Erin is not cold then Erin is not quiet.
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is smart.
("Anne" "is" "smart" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Big people are not nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "-"))
If Erin is not cold then Erin is not quiet.
((("Erin" "is" "cold" "~")) -> ("Erin" "is" "quiet" "-"))
Erin is smart.
True
1
proof
[(triple9)]
("Erin" "is" "smart" "+")
triple9
Erin is not big.
False
1
inv-proof
[(triple4)]
("Erin" "is" "big" "-")
triple4
Anne is not young.
Unknown
inv-random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
@0: Anne is not cold.[(triple1)] Anne is not furry.[(triple2)] Anne is smart.[(triple3)] Erin is big.[(triple4)] Erin is cold.[(triple5)] Erin is furry.[(triple6)] Erin is not nice.[(triple7 OR ((triple4) -> rule1))] Erin is quiet.[(triple8)] Erin is smart.[(triple9)] Erin is young.[(triple10)]
Anne is not cold.
("Anne" "is" "cold" "-")
triple1
Anne is not furry.
("Anne" "is" "furry" "-")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Erin is not nice.
("Erin" "is" "nice" "-")
triple7
((triple4) -> (rule1 % int1))
Erin is not nice.
("Erin" "is" "nice" "-")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
Erin is smart.
("Erin" "is" "smart" "+")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10