Erin is not cold. Erin is furry. Erin is not kind. Erin is not nice. Erin is quiet. Erin is white. Erin is young. Gary is not kind. Gary is nice. Gary is young. All white, kind people are nice. If someone is cold then they are nice. Quiet, kind people are nice. If Erin is furry and Erin is quiet then Erin is white. If someone is cold then they are young. All white, young people are not cold. If someone is nice and not quiet then they are not furry. If Gary is young then Gary is white.
Erin is not cold.
("Erin" "is" "cold" "-")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is not kind.
("Gary" "is" "kind" "-")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is young.
("Gary" "is" "young" "+")
All white, kind people are nice.
((("someone" "is" "white" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold then they are nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
Quiet, kind people are nice.
((("someone" "is" "quiet" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If Erin is furry and Erin is quiet then Erin is white.
((("Erin" "is" "furry" "+") ("Erin" "is" "quiet" "+")) -> ("Erin" "is" "white" "+"))
If someone is cold then they are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
All white, young people are not cold.
((("someone" "is" "white" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "-"))
If someone is nice and not quiet then they are not furry.
((("someone" "is" "nice" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "furry" "-"))
If Gary is young then Gary is white.
((("Gary" "is" "young" "+")) -> ("Gary" "is" "white" "+"))
Erin is not nice.
True
1
proof
[(triple4)]
("Erin" "is" "nice" "-")
triple4
Erin is cold.
False
1
inv-proof
[(triple1 OR ((triple6 triple7) -> rule6) OR ((((triple2 triple5) -> rule4) triple7) -> rule6))]
("Erin" "is" "cold" "+")
triple1
((triple6 triple7) -> (rule6 % int1))
Erin is not cold.
("Erin" "is" "cold" "-")
int1
((((triple2 triple5) -> (rule4 % int2)) triple7) -> (rule6 % int1))
Erin is not cold.
("Erin" "is" "cold" "-")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Gary is white.
True
2
proof
[(((triple10) -> rule8))]
("Gary" "is" "white" "+")
((triple10) -> (rule8 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is not white.
False
2
inv-proof
[(((triple10) -> rule8))]
("Gary" "is" "white" "-")
((triple10) -> (rule8 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is not cold.
True
4
proof
[(((((triple10) -> rule8) triple10) -> rule6))]
("Gary" "is" "cold" "-")
((((triple10) -> (rule8 % int2)) triple10) -> (rule6 % int1))
Gary is not cold.
("Gary" "is" "cold" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is cold.
False
4
inv-proof
[(((((triple10) -> rule8) triple10) -> rule6))]
("Gary" "is" "cold" "+")
((((triple10) -> (rule8 % int2)) triple10) -> (rule6 % int1))
Gary is not cold.
("Gary" "is" "cold" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Erin is furry.[(triple2)] Erin is not cold.[(triple1 OR ((triple6 triple7) -> rule6) OR ((((triple2 triple5) -> rule4) triple7) -> rule6))] Erin is not kind.[(triple3)] Erin is not nice.[(triple4)] Erin is quiet.[(triple5)] Erin is white.[(triple6 OR ((triple2 triple5) -> rule4))] Erin is young.[(triple7)] Gary is nice.[(triple9)] Gary is not kind.[(triple8)] Gary is young.[(triple10)] @1: Gary is white.[(((triple10) -> rule8))] @2: Gary is not cold.[(((((triple10) -> rule8) triple10) -> rule6))]
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is not cold.
("Erin" "is" "cold" "-")
triple1
((triple6 triple7) -> (rule6 % int1))
Erin is not cold.
("Erin" "is" "cold" "-")
int1
((((triple2 triple5) -> (rule4 % int2)) triple7) -> (rule6 % int1))
Erin is not cold.
("Erin" "is" "cold" "-")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is not kind.
("Erin" "is" "kind" "-")
triple3
Erin is not nice.
("Erin" "is" "nice" "-")
triple4
Erin is quiet.
("Erin" "is" "quiet" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple6
((triple2 triple5) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is not kind.
("Gary" "is" "kind" "-")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple10
Gary is white.
("Gary" "is" "white" "+")
((triple10) -> (rule8 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is not cold.
("Gary" "is" "cold" "-")
((((triple10) -> (rule8 % int2)) triple10) -> (rule6 % int1))
Gary is not cold.
("Gary" "is" "cold" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
int2