Anne is not furry. Anne is green. Anne is quiet. Anne is not round. Anne is not smart. Erin is cold. Erin is furry. Erin is green. Erin is not quiet. Erin is red. Erin is round. Erin is smart. Fiona is cold. Fiona is not green. Fiona is quiet. Fiona is round. If something is quiet and green then it is not cold.
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is not round.
("Anne" "is" "round" "-")
Anne is not smart.
("Anne" "is" "smart" "-")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If something is quiet and green then it is not cold.
((("something" "is" "quiet" "+") ("something" "is" "green" "+")) -> ("something" "is" "cold" "-"))
Fiona is cold.
True
1
proof
[(triple13)]
("Fiona" "is" "cold" "+")
triple13
Erin is not green.
False
1
inv-proof
[(triple8)]
("Erin" "is" "green" "-")
triple8
Anne is not cold.
True
3
proof
[(((triple3 triple2) -> rule1))]
("Anne" "is" "cold" "-")
((triple3 triple2) -> (rule1 % int1))
Anne is not cold.
("Anne" "is" "cold" "-")
int1
Anne is cold.
False
3
inv-proof
[(((triple3 triple2) -> rule1))]
("Anne" "is" "cold" "+")
((triple3 triple2) -> (rule1 % int1))
Anne is not cold.
("Anne" "is" "cold" "-")
int1
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is green.[(triple2)] Anne is not furry.[(triple1)] Anne is not round.[(triple4)] Anne is not smart.[(triple5)] Anne is quiet.[(triple3)] Erin is cold.[(triple6)] Erin is furry.[(triple7)] Erin is green.[(triple8)] Erin is not quiet.[(triple9)] Erin is red.[(triple10)] Erin is round.[(triple11)] Erin is smart.[(triple12)] Fiona is cold.[(triple13)] Fiona is not green.[(triple14)] Fiona is quiet.[(triple15)] Fiona is round.[(triple16)] @1: Anne is not cold.[(((triple3 triple2) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is not furry.
("Anne" "is" "furry" "-")
triple1
Anne is not round.
("Anne" "is" "round" "-")
triple4
Anne is not smart.
("Anne" "is" "smart" "-")
triple5
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
triple6
Erin is furry.
("Erin" "is" "furry" "+")
triple7
Erin is green.
("Erin" "is" "green" "+")
triple8
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple9
Erin is red.
("Erin" "is" "red" "+")
triple10
Erin is round.
("Erin" "is" "round" "+")
triple11
Erin is smart.
("Erin" "is" "smart" "+")
triple12
Fiona is cold.
("Fiona" "is" "cold" "+")
triple13
Fiona is not green.
("Fiona" "is" "green" "-")
triple14
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple15
Fiona is round.
("Fiona" "is" "round" "+")
triple16
Anne is not cold.
("Anne" "is" "cold" "-")
((triple3 triple2) -> (rule1 % int1))
Anne is not cold.
("Anne" "is" "cold" "-")
int1