Anne is not blue. Anne is cold. Anne is furry. Anne is kind. Anne is not nice. Anne is rough. Anne is not round. Erin is cold. Erin is not nice. Erin is not rough. Fiona is not cold. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is round. If someone is kind then they are not blue.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is not round.
("Anne" "is" "round" "-")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is not rough.
("Erin" "is" "rough" "-")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If someone is kind then they are not blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "-"))
Anne is not nice.
True
1
proof
[(triple5)]
("Anne" "is" "nice" "-")
triple5
Fiona is not kind.
False
1
inv-proof
[(triple13)]
("Fiona" "is" "kind" "-")
triple13
Fiona is not blue.
True
2
proof
[(((triple13) -> rule1))]
("Fiona" "is" "blue" "-")
((triple13) -> (rule1 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1
Fiona is blue.
False
2
inv-proof
[(((triple13) -> rule1))]
("Fiona" "is" "blue" "+")
((triple13) -> (rule1 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is kind.[(triple4)] Anne is not blue.[(triple1 OR ((triple4) -> rule1))] Anne is not nice.[(triple5)] Anne is not round.[(triple7)] Anne is rough.[(triple6)] Erin is cold.[(triple8)] Erin is not nice.[(triple9)] Erin is not rough.[(triple10)] Fiona is furry.[(triple12)] Fiona is kind.[(triple13)] Fiona is nice.[(triple14)] Fiona is not cold.[(triple11)] Fiona is round.[(triple15)] @1: Fiona is not blue.[(((triple13) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Anne is kind.
("Anne" "is" "kind" "+")
triple4
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
((triple4) -> (rule1 % int1))
Anne is not blue.
("Anne" "is" "blue" "-")
int1
Anne is not nice.
("Anne" "is" "nice" "-")
triple5
Anne is not round.
("Anne" "is" "round" "-")
triple7
Anne is rough.
("Anne" "is" "rough" "+")
triple6
Erin is cold.
("Erin" "is" "cold" "+")
triple8
Erin is not nice.
("Erin" "is" "nice" "-")
triple9
Erin is not rough.
("Erin" "is" "rough" "-")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
triple12
Fiona is kind.
("Fiona" "is" "kind" "+")
triple13
Fiona is nice.
("Fiona" "is" "nice" "+")
triple14
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple11
Fiona is round.
("Fiona" "is" "round" "+")
triple15
Fiona is not blue.
("Fiona" "is" "blue" "-")
((triple13) -> (rule1 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1