Charlie is furry. Charlie is rough. Charlie is white. If something is furry and big then it is rough. All nice, big things are not rough. If something is round then it is rough. If something is nice and round then it is furry. If something is furry and not white then it is nice. If something is rough then it is not nice. If something is rough and not big then it is kind. If Charlie is furry and Charlie is not nice then Charlie is kind.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is white.
("Charlie" "is" "white" "+")
If something is furry and big then it is rough.
((("something" "is" "furry" "+") ("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
All nice, big things are not rough.
((("something" "is" "nice" "+") ("something" "is" "big" "+")) -> ("something" "is" "rough" "-"))
If something is round then it is rough.
((("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
If something is nice and round then it is furry.
((("something" "is" "nice" "+") ("something" "is" "round" "+")) -> ("something" "is" "furry" "+"))
If something is furry and not white then it is nice.
((("something" "is" "furry" "+") ("something" "is" "white" "~")) -> ("something" "is" "nice" "+"))
If something is rough then it is not nice.
((("something" "is" "rough" "+")) -> ("something" "is" "nice" "-"))
If something is rough and not big then it is kind.
((("something" "is" "rough" "+") ("something" "is" "big" "~")) -> ("something" "is" "kind" "+"))
If Charlie is furry and Charlie is not nice then Charlie is kind.
((("Charlie" "is" "furry" "+") ("Charlie" "is" "nice" "~")) -> ("Charlie" "is" "kind" "+"))
Charlie is furry.
True
1
proof
[(triple1)]
("Charlie" "is" "furry" "+")
triple1
Charlie is not rough.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "rough" "-")
triple2
Charlie is not nice.
True
2
proof
[(((triple2) -> rule6))]
("Charlie" "is" "nice" "-")
((triple2) -> (rule6 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is nice.
False
2
inv-proof
[(((triple2) -> rule6))]
("Charlie" "is" "nice" "+")
((triple2) -> (rule6 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is kind.
True
4
proof
[(((triple1 ((triple2) -> rule6)) -> rule8))]
("Charlie" "is" "kind" "+")
((triple1 ((triple2) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is not nice.
("Charlie" "is" "nice" "-")
int2
Charlie is not kind.
False
4
inv-proof
[(((triple1 ((triple2) -> rule6)) -> rule8))]
("Charlie" "is" "kind" "-")
((triple1 ((triple2) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is not nice.
("Charlie" "is" "nice" "-")
int2
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 furry.[(triple1)] Charlie is rough.[(triple2)] Charlie is white.[(triple3)] @1: Charlie is not nice.[(((triple2) -> rule6))] @2: Charlie is kind.[(((triple1 ((triple2) -> rule6)) -> rule8))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Charlie is white.
("Charlie" "is" "white" "+")
triple3
Charlie is not nice.
("Charlie" "is" "nice" "-")
((triple2) -> (rule6 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple1 ((triple2) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is not nice.
("Charlie" "is" "nice" "-")
int2