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