Charlie is blue. Charlie is cold. Charlie is not green. All blue things are quiet. All green things are quiet. If Charlie is quiet then Charlie is blue. Quiet things are round. If something is rough and not round then it is not cold. If something is rough and not cold then it is not white.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is not green.
("Charlie" "is" "green" "-")
All blue things are quiet.
((("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
All green things are quiet.
((("something" "is" "green" "+")) -> ("something" "is" "quiet" "+"))
If Charlie is quiet then Charlie is blue.
((("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "blue" "+"))
Quiet things are round.
((("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
If something is rough and not round then it is not cold.
((("something" "is" "rough" "+") ("something" "is" "round" "~")) -> ("something" "is" "cold" "-"))
If something is rough and not cold then it is not white.
((("something" "is" "rough" "+") ("something" "is" "cold" "~")) -> ("something" "is" "white" "-"))
Charlie is cold.
True
1
proof
[(triple2)]
("Charlie" "is" "cold" "+")
triple2
Charlie is green.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "green" "+")
triple3
Charlie is quiet.
True
2
proof
[(((triple1) -> rule1))]
("Charlie" "is" "quiet" "+")
((triple1) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is not quiet.
False
2
inv-proof
[(((triple1) -> rule1))]
("Charlie" "is" "quiet" "-")
((triple1) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
True
3
proof
[(((((triple1) -> rule1)) -> rule4))]
("Charlie" "is" "round" "+")
((((triple1) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is not round.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule4))]
("Charlie" "is" "round" "-")
((((triple1) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is not green.[(triple3)] @1: Charlie is quiet.[(((triple1) -> rule1))] @2: Charlie is round.[(((((triple1) -> rule1)) -> rule4))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is not green.
("Charlie" "is" "green" "-")
triple3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple1) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((((triple1) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2