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