Erin is cold. Erin is kind. Erin is round. Erin is not young. Gary is cold. Gary is kind. Gary is nice. Gary is rough. Gary is round. Gary is young. All cold things are round. If Erin is nice then Erin is not kind. Cold things are not red.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is not young.
("Erin" "is" "young" "-")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
All cold things are round.
((("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
If Erin is nice then Erin is not kind.
((("Erin" "is" "nice" "+")) -> ("Erin" "is" "kind" "-"))
Cold things are not red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "-"))
Gary is nice.
True
1
proof
[(triple7)]
("Gary" "is" "nice" "+")
triple7
Gary is not cold.
False
1
inv-proof
[(triple5)]
("Gary" "is" "cold" "-")
triple5
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Erin is cold.[(triple1)] Erin is kind.[(triple2)] Erin is not young.[(triple4)] Erin is round.[(triple3 OR ((triple1) -> rule1))] Gary is cold.[(triple5)] Gary is kind.[(triple6)] Gary is nice.[(triple7)] Gary is rough.[(triple8)] Gary is round.[(triple9 OR ((triple5) -> rule1))] Gary is young.[(triple10)] @1: Erin is not red.[(((triple1) -> rule3))] Gary is not red.[(((triple5) -> rule3))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Erin is not young.
("Erin" "is" "young" "-")
triple4
Erin is round.
("Erin" "is" "round" "+")
triple3
((triple1) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple9
((triple5) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple10
Erin is not red.
("Erin" "is" "red" "-")
((triple1) -> (rule3 % int1))
Erin is not red.
("Erin" "is" "red" "-")
int1
Gary is not red.
("Gary" "is" "red" "-")
((triple5) -> (rule3 % int1))
Gary is not red.
("Gary" "is" "red" "-")
int1