Anne is cold. Anne is not green. Anne is smart. Anne is not young. Erin is blue. Erin is cold. Erin is not green. Erin is red. Erin is not smart. Erin is young. All cold people are furry.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not green.
("Anne" "is" "green" "-")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is not young.
("Anne" "is" "young" "-")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is not green.
("Erin" "is" "green" "-")
Erin is red.
("Erin" "is" "red" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
Erin is young.
("Erin" "is" "young" "+")
All cold people are furry.
((("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
Anne is smart.
True
1
proof
[(triple3)]
("Anne" "is" "smart" "+")
triple3
Anne is green.
False
1
inv-proof
[(triple2)]
("Anne" "is" "green" "+")
triple2
Anne is furry.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not furry.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "furry" "-")
((triple1) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is cold.[(triple1)] Anne is not green.[(triple2)] Anne is not young.[(triple4)] Anne is smart.[(triple3)] Erin is blue.[(triple5)] Erin is cold.[(triple6)] Erin is not green.[(triple7)] Erin is not smart.[(triple9)] Erin is red.[(triple8)] Erin is young.[(triple10)] @1: Anne is furry.[(((triple1) -> rule1))] Erin is furry.[(((triple6) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is not green.
("Anne" "is" "green" "-")
triple2
Anne is not young.
("Anne" "is" "young" "-")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
triple5
Erin is cold.
("Erin" "is" "cold" "+")
triple6
Erin is not green.
("Erin" "is" "green" "-")
triple7
Erin is not smart.
("Erin" "is" "smart" "-")
triple9
Erin is red.
("Erin" "is" "red" "+")
triple8
Erin is young.
("Erin" "is" "young" "+")
triple10
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple6) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1