Harry is round. If someone is round and not green then they are nice. If Harry is round then Harry is not nice. If Harry is green then Harry is round. If someone is big then they are blue. If Harry is not round then Harry is quiet. Green, furry people are quiet. All big people are not quiet. If someone is furry and not round then they are big.
Harry is round.
("Harry" "is" "round" "+")
If someone is round and not green then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "nice" "+"))
If Harry is round then Harry is not nice.
((("Harry" "is" "round" "+")) -> ("Harry" "is" "nice" "-"))
If Harry is green then Harry is round.
((("Harry" "is" "green" "+")) -> ("Harry" "is" "round" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If Harry is not round then Harry is quiet.
((("Harry" "is" "round" "~")) -> ("Harry" "is" "quiet" "+"))
Green, furry people are quiet.
((("someone" "is" "green" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
All big people are not quiet.
((("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "-"))
If someone is furry and not round then they are big.
((("someone" "is" "furry" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "big" "+"))
Harry is round.
True
1
proof
[(triple1)]
("Harry" "is" "round" "+")
triple1
Harry is not round.
False
1
inv-proof
[(triple1)]
("Harry" "is" "round" "-")
triple1
Harry is not nice.
True
2
proof
[(((triple1) -> rule2))]
("Harry" "is" "nice" "-")
((triple1) -> (rule2 % int1))
Harry is not nice.
("Harry" "is" "nice" "-")
int1
Harry is nice.
False
2
inv-proof
[(((triple1) -> rule2))]
("Harry" "is" "nice" "+")
((triple1) -> (rule2 % int1))
Harry is not nice.
("Harry" "is" "nice" "-")
int1
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Harry" "is" "big" "-")
Harry is blue.
Unknown
rconc
[@2: Harry is blue.[CWA. Example of deepest failure = (rule4 <- rule8 <- FAIL)]]
("Harry" "is" "blue" "+")
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Harry is round.[(triple1)] @1: Harry is not nice.[(((triple1) -> rule2))]
Harry is round.
("Harry" "is" "round" "+")
triple1
Harry is not nice.
("Harry" "is" "nice" "-")
((triple1) -> (rule2 % int1))
Harry is not nice.
("Harry" "is" "nice" "-")
int1