Charlie is furry. Round things are not quiet. Quiet things are nice. If something is red then it is nice. Quiet, round things are furry. If something is furry then it is rough. Quiet things are not round. If something is quiet then it is red. If Charlie is quiet and Charlie is not rough then Charlie is big.
Charlie is furry.
("Charlie" "is" "furry" "+")
Round things are not quiet.
((("something" "is" "round" "+")) -> ("something" "is" "quiet" "-"))
Quiet things are nice.
((("something" "is" "quiet" "+")) -> ("something" "is" "nice" "+"))
If something is red then it is nice.
((("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
Quiet, round things are furry.
((("something" "is" "quiet" "+") ("something" "is" "round" "+")) -> ("something" "is" "furry" "+"))
If something is furry then it is rough.
((("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
Quiet things are not round.
((("something" "is" "quiet" "+")) -> ("something" "is" "round" "-"))
If something is quiet then it is red.
((("something" "is" "quiet" "+")) -> ("something" "is" "red" "+"))
If Charlie is quiet and Charlie is not rough then Charlie is big.
((("Charlie" "is" "quiet" "+") ("Charlie" "is" "rough" "~")) -> ("Charlie" "is" "big" "+"))
Charlie is furry.
True
1
proof
[(triple1)]
("Charlie" "is" "furry" "+")
triple1
Charlie is not furry.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "furry" "-")
triple1
Charlie is rough.
True
2
proof
[(((triple1) -> rule5))]
("Charlie" "is" "rough" "+")
((triple1) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not rough.
False
2
inv-proof
[(((triple1) -> rule5))]
("Charlie" "is" "rough" "-")
((triple1) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not nice.
Unknown
inv-rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule3 <- rule7 <- FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is red.
Unknown
rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "red" "+")
Charlie is not quiet.
Unknown
inv-random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Charlie is furry.[(triple1)] @1: Charlie is rough.[(((triple1) -> rule5))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple1) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1