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