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