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