Bob is round. Charlie is furry. Charlie is green. All cold people are not smart. If someone is cold and not rough then they are furry. Furry, kind people are green. If someone is green and not furry then they are kind. If Bob is not furry then Bob is smart. If someone is kind and not green then they are round. Green people are round. If Charlie is not furry and Charlie is not round then Charlie is not smart.
Bob is round.
("Bob" "is" "round" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
All cold people are not smart.
((("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "-"))
If someone is cold and not rough then they are furry.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "furry" "+"))
Furry, kind people are green.
((("someone" "is" "furry" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is green and not furry then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "kind" "+"))
If Bob is not furry then Bob is smart.
((("Bob" "is" "furry" "~")) -> ("Bob" "is" "smart" "+"))
If someone is kind and not green then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "round" "+"))
Green people are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If Charlie is not furry and Charlie is not round then Charlie is not smart.
((("Charlie" "is" "furry" "~") ("Charlie" "is" "round" "~")) -> ("Charlie" "is" "smart" "-"))
Bob is round.
True
1
proof
[(triple1)]
("Bob" "is" "round" "+")
triple1
Bob is not round.
False
1
inv-proof
[(triple1)]
("Bob" "is" "round" "-")
triple1
Bob is not smart.
Unknown
inv-rconc
[@1: Bob is smart.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "smart" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Bob is round.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] @1: Charlie is round.[(((triple3) -> rule7))]
Bob is round.
("Bob" "is" "round" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
((triple3) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1