Anne is big. Anne is kind. Anne is nice. Anne is quiet. Anne is white. Fiona is big. Fiona is kind. If Anne is big and Anne is nice then Anne is round. All big, kind things are white. If Fiona is white and Fiona is kind then Fiona is not quiet.
Anne is big.
("Anne" "is" "big" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is white.
("Anne" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
If Anne is big and Anne is nice then Anne is round.
((("Anne" "is" "big" "+") ("Anne" "is" "nice" "+")) -> ("Anne" "is" "round" "+"))
All big, kind things are white.
((("something" "is" "big" "+") ("something" "is" "kind" "+")) -> ("something" "is" "white" "+"))
If Fiona is white and Fiona is kind then Fiona is not quiet.
((("Fiona" "is" "white" "+") ("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "quiet" "-"))
Anne is nice.
True
1
proof
[(triple3)]
("Anne" "is" "nice" "+")
triple3
Anne is not quiet.
False
1
inv-proof
[(triple4)]
("Anne" "is" "quiet" "-")
triple4
Fiona is white.
True
3
proof
[(((triple6 triple7) -> rule2))]
("Fiona" "is" "white" "+")
((triple6 triple7) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not white.
False
3
inv-proof
[(((triple6 triple7) -> rule2))]
("Fiona" "is" "white" "-")
((triple6 triple7) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not quiet.
True
5
proof
[(((((triple6 triple7) -> rule2) triple7) -> rule3))]
("Fiona" "is" "quiet" "-")
((((triple6 triple7) -> (rule2 % int2)) triple7) -> (rule3 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is quiet.
False
5
inv-proof
[(((((triple6 triple7) -> rule2) triple7) -> rule3))]
("Fiona" "is" "quiet" "+")
((((triple6 triple7) -> (rule2 % int2)) triple7) -> (rule3 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Anne is not green.
Unknown
inv-random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Anne is white.[(triple5 OR ((triple1 triple2) -> rule2))] Fiona is big.[(triple6)] Fiona is kind.[(triple7)] @1: Anne is round.[(((triple1 triple3) -> rule1))] Fiona is white.[(((triple6 triple7) -> rule2))] @2: Fiona is not quiet.[(((((triple6 triple7) -> rule2) triple7) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
((triple1 triple2) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Anne is round.
("Anne" "is" "round" "+")
((triple1 triple3) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple6 triple7) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
((((triple6 triple7) -> (rule2 % int2)) triple7) -> (rule3 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2