Anne is kind. Anne is not nice. Anne is quiet. Anne is rough. Anne is young. Fiona is not kind. Fiona is quiet. Fiona is rough. Fiona is not white. Fiona is not young. Rough people are not cold.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
Fiona is not young.
("Fiona" "is" "young" "-")
Rough people are not cold.
((("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "-"))
Fiona is not kind.
True
1
proof
[(triple6)]
("Fiona" "is" "kind" "-")
triple6
Fiona is young.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "young" "+")
triple10
Anne is not cold.
True
2
proof
[(((triple4) -> rule1))]
("Anne" "is" "cold" "-")
((triple4) -> (rule1 % int1))
Anne is not cold.
("Anne" "is" "cold" "-")
int1
Anne is cold.
False
2
inv-proof
[(((triple4) -> rule1))]
("Anne" "is" "cold" "+")
((triple4) -> (rule1 % int1))
Anne is not cold.
("Anne" "is" "cold" "-")
int1
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is kind.[(triple1)] Anne is not nice.[(triple2)] Anne is quiet.[(triple3)] Anne is rough.[(triple4)] Anne is young.[(triple5)] Fiona is not kind.[(triple6)] Fiona is not white.[(triple9)] Fiona is not young.[(triple10)] Fiona is quiet.[(triple7)] Fiona is rough.[(triple8)] @1: Anne is not cold.[(((triple4) -> rule1))] Fiona is not cold.[(((triple8) -> rule1))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is not nice.
("Anne" "is" "nice" "-")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple6
Fiona is not white.
("Fiona" "is" "white" "-")
triple9
Fiona is not young.
("Fiona" "is" "young" "-")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
Anne is not cold.
("Anne" "is" "cold" "-")
((triple4) -> (rule1 % int1))
Anne is not cold.
("Anne" "is" "cold" "-")
int1
Fiona is not cold.
("Fiona" "is" "cold" "-")
((triple8) -> (rule1 % int1))
Fiona is not cold.
("Fiona" "is" "cold" "-")
int1