Charlie is not blue. Charlie is furry. Charlie is rough. Round, green people are quiet. If someone is rough then they are quiet. If Charlie is red then Charlie is furry. If Charlie is quiet and Charlie is not rough then Charlie is not green. If someone is green and blue then they are not red. If Charlie is quiet then Charlie is round.
Charlie is not blue.
("Charlie" "is" "blue" "-")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Round, green people are quiet.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "quiet" "+"))
If someone is rough then they are quiet.
((("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
If Charlie is red then Charlie is furry.
((("Charlie" "is" "red" "+")) -> ("Charlie" "is" "furry" "+"))
If Charlie is quiet and Charlie is not rough then Charlie is not green.
((("Charlie" "is" "quiet" "+") ("Charlie" "is" "rough" "~")) -> ("Charlie" "is" "green" "-"))
If someone is green and blue then they are not red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "-"))
If Charlie is quiet then Charlie is round.
((("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "round" "+"))
Charlie is furry.
True
1
proof
[(triple2)]
("Charlie" "is" "furry" "+")
triple2
Charlie is not furry.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "furry" "-")
triple2
Charlie is quiet.
True
2
proof
[(((triple3) -> rule2))]
("Charlie" "is" "quiet" "+")
((triple3) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is not quiet.
False
2
inv-proof
[(((triple3) -> rule2))]
("Charlie" "is" "quiet" "-")
((triple3) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Charlie is furry.[(triple2)] Charlie is not blue.[(triple1)] Charlie is rough.[(triple3)] @1: Charlie is quiet.[(((triple3) -> rule2))] @2: Charlie is round.[(((((triple3) -> rule2)) -> rule6))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is not blue.
("Charlie" "is" "blue" "-")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple3) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((((triple3) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2