Anne is furry. Anne is rough. Anne is not round. If someone is blue then they are furry. If someone is white and not blue then they are furry. Blue people are furry. All furry, rough people are smart. All furry people are kind. If someone is round then they are not kind.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is not round.
("Anne" "is" "round" "-")
If someone is blue then they are furry.
((("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
If someone is white and not blue then they are furry.
((("someone" "is" "white" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "furry" "+"))
Blue people are furry.
((("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
All furry, rough people are smart.
((("someone" "is" "furry" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
All furry people are kind.
((("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
If someone is round then they are not kind.
((("someone" "is" "round" "+")) -> ("someone" "is" "kind" "-"))
Anne is rough.
True
1
proof
[(triple2)]
("Anne" "is" "rough" "+")
triple2
Anne is round.
False
1
inv-proof
[(triple3)]
("Anne" "is" "round" "+")
triple3
Anne is kind.
True
2
proof
[(((triple1) -> rule5))]
("Anne" "is" "kind" "+")
((triple1) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is not smart.
False
3
inv-proof
[(((triple1 triple2) -> rule4))]
("Anne" "is" "smart" "-")
((triple1 triple2) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is not white.
Unknown
inv-random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is furry.[(triple1)] Anne is not round.[(triple3)] Anne is rough.[(triple2)] @1: Anne is kind.[(((triple1) -> rule5))] Anne is smart.[(((triple1 triple2) -> rule4))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is not round.
("Anne" "is" "round" "-")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
((triple1) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
((triple1 triple2) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1