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