Charlie is cold. Charlie is furry. Charlie is green. Dave is blue. Dave is cold. Dave is round. Erin is blue. Erin is cold. Erin is green. Erin is round. All green, cold things are not kind. Furry things are not blue.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is round.
("Dave" "is" "round" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is round.
("Erin" "is" "round" "+")
All green, cold things are not kind.
((("something" "is" "green" "+") ("something" "is" "cold" "+")) -> ("something" "is" "kind" "-"))
Furry things are not blue.
((("something" "is" "furry" "+")) -> ("something" "is" "blue" "-"))
Dave is blue.
True
1
proof
[(triple4)]
("Dave" "is" "blue" "+")
triple4
Charlie is not cold.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "cold" "-")
triple1
Charlie is not blue.
True
2
proof
[(((triple2) -> rule2))]
("Charlie" "is" "blue" "-")
((triple2) -> (rule2 % int1))
Charlie is not blue.
("Charlie" "is" "blue" "-")
int1
Erin is kind.
False
3
inv-proof
[(((triple9 triple8) -> rule1))]
("Erin" "is" "kind" "+")
((triple9 triple8) -> (rule1 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Dave is blue.[(triple4)] Dave is cold.[(triple5)] Dave is round.[(triple6)] Erin is blue.[(triple7)] Erin is cold.[(triple8)] Erin is green.[(triple9)] Erin is round.[(triple10)] @1: Charlie is not blue.[(((triple2) -> rule2))] Charlie is not kind.[(((triple3 triple1) -> rule1))] Erin is not kind.[(((triple9 triple8) -> rule1))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple6
Erin is blue.
("Erin" "is" "blue" "+")
triple7
Erin is cold.
("Erin" "is" "cold" "+")
triple8
Erin is green.
("Erin" "is" "green" "+")
triple9
Erin is round.
("Erin" "is" "round" "+")
triple10
Charlie is not blue.
("Charlie" "is" "blue" "-")
((triple2) -> (rule2 % int1))
Charlie is not blue.
("Charlie" "is" "blue" "-")
int1
Charlie is not kind.
("Charlie" "is" "kind" "-")
((triple3 triple1) -> (rule1 % int1))
Charlie is not kind.
("Charlie" "is" "kind" "-")
int1
Erin is not kind.
("Erin" "is" "kind" "-")
((triple9 triple8) -> (rule1 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1