Anne is not blue. Anne is not furry. Anne is kind. Anne is red. Anne is rough. Fiona is blue. Fiona is kind. Fiona is not quiet. Fiona is not red. Gary is quiet. Gary is red. Gary is rough. Rough things are not blue. Furry things are not quiet.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is not red.
("Fiona" "is" "red" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Rough things are not blue.
((("something" "is" "rough" "+")) -> ("something" "is" "blue" "-"))
Furry things are not quiet.
((("something" "is" "furry" "+")) -> ("something" "is" "quiet" "-"))
Fiona is not red.
True
1
proof
[(triple9)]
("Fiona" "is" "red" "-")
triple9
Anne is not red.
False
1
inv-proof
[(triple4)]
("Anne" "is" "red" "-")
triple4
Gary is not blue.
True
2
proof
[(((triple12) -> rule1))]
("Gary" "is" "blue" "-")
((triple12) -> (rule1 % int1))
Gary is not blue.
("Gary" "is" "blue" "-")
int1
Gary is blue.
False
2
inv-proof
[(((triple12) -> rule1))]
("Gary" "is" "blue" "+")
((triple12) -> (rule1 % int1))
Gary is not blue.
("Gary" "is" "blue" "-")
int1
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Anne is kind.[(triple3)] Anne is not blue.[(triple1 OR ((triple5) -> rule1))] Anne is not furry.[(triple2)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Fiona is blue.[(triple6)] Fiona is kind.[(triple7)] Fiona is not quiet.[(triple8)] Fiona is not red.[(triple9)] Gary is quiet.[(triple10)] Gary is red.[(triple11)] Gary is rough.[(triple12)] @1: Gary is not blue.[(((triple12) -> rule1))]
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
((triple5) -> (rule1 % int1))
Anne is not blue.
("Anne" "is" "blue" "-")
int1
Anne is not furry.
("Anne" "is" "furry" "-")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple8
Fiona is not red.
("Fiona" "is" "red" "-")
triple9
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple11
Gary is rough.
("Gary" "is" "rough" "+")
triple12
Gary is not blue.
("Gary" "is" "blue" "-")
((triple12) -> (rule1 % int1))
Gary is not blue.
("Gary" "is" "blue" "-")
int1