Anne is furry. Anne is rough. Dave is cold. Dave is furry. Dave is red. Erin is furry. Fiona is not cold. Fiona is furry. Fiona is red. Fiona is rough. Fiona is white. Fiona is young. If Dave is furry and Dave is not rough then Dave is cold. All rough things are not quiet.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is red.
("Dave" "is" "red" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If Dave is furry and Dave is not rough then Dave is cold.
((("Dave" "is" "furry" "+") ("Dave" "is" "rough" "~")) -> ("Dave" "is" "cold" "+"))
All rough things are not quiet.
((("something" "is" "rough" "+")) -> ("something" "is" "quiet" "-"))
Fiona is red.
True
1
proof
[(triple9)]
("Fiona" "is" "red" "+")
triple9
Fiona is not white.
False
1
inv-proof
[(triple11)]
("Fiona" "is" "white" "-")
triple11
Anne is not cold.
Unknown
inv-random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is furry.[(triple1)] Anne is rough.[(triple2)] Dave is cold.[(triple3)] Dave is furry.[(triple4)] Dave is red.[(triple5)] Erin is furry.[(triple6)] Fiona is furry.[(triple8)] Fiona is not cold.[(triple7)] Fiona is red.[(triple9)] Fiona is rough.[(triple10)] Fiona is white.[(triple11)] Fiona is young.[(triple12)] @1: Anne is not quiet.[(((triple2) -> rule2))] Fiona is not quiet.[(((triple10) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Dave is cold.
("Dave" "is" "cold" "+")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
Fiona is white.
("Fiona" "is" "white" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Anne is not quiet.
("Anne" "is" "quiet" "-")
((triple2) -> (rule2 % int1))
Anne is not quiet.
("Anne" "is" "quiet" "-")
int1
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
((triple10) -> (rule2 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1