Anne is furry. Anne is nice. Anne is round. Anne is young. Fiona is not furry. Fiona is kind. Fiona is not nice. Fiona is not round. Fiona is white. Fiona is young. If someone is round and not white then they are nice. All round, furry people are not red. If Anne is white then Anne is not round.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is not round.
("Fiona" "is" "round" "-")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If someone is round and not white then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "nice" "+"))
All round, furry people are not red.
((("someone" "is" "round" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "red" "-"))
If Anne is white then Anne is not round.
((("Anne" "is" "white" "+")) -> ("Anne" "is" "round" "-"))
Anne is furry.
True
1
proof
[(triple1)]
("Anne" "is" "furry" "+")
triple1
Fiona is not young.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "young" "-")
triple10
Anne is not red.
True
3
proof
[(((triple3 triple1) -> rule2))]
("Anne" "is" "red" "-")
((triple3 triple1) -> (rule2 % int1))
Anne is not red.
("Anne" "is" "red" "-")
int1
Anne is red.
False
3
inv-proof
[(((triple3 triple1) -> rule2))]
("Anne" "is" "red" "+")
((triple3 triple1) -> (rule2 % int1))
Anne is not red.
("Anne" "is" "red" "-")
int1
Anne is not white.
Unknown
inv-random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Anne is young.[(triple4)] Fiona is kind.[(triple6)] Fiona is not furry.[(triple5)] Fiona is not nice.[(triple7)] Fiona is not round.[(triple8)] Fiona is white.[(triple9)] Fiona is young.[(triple10)] @1: Anne is not red.[(((triple3 triple1) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple5
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple7
Fiona is not round.
("Fiona" "is" "round" "-")
triple8
Fiona is white.
("Fiona" "is" "white" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Anne is not red.
("Anne" "is" "red" "-")
((triple3 triple1) -> (rule2 % int1))
Anne is not red.
("Anne" "is" "red" "-")
int1