Bob is big. Bob is not furry. Bob is green. Bob is kind. Bob is not nice. Bob is quiet. Bob is round. If Bob is nice then Bob is not furry. If something is round and not furry then it is big. If something is nice and not furry then it is kind. If something is round and kind then it is green. All nice things are green. If something is furry and not big then it is quiet.
Bob is big.
("Bob" "is" "big" "+")
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is not nice.
("Bob" "is" "nice" "-")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
If Bob is nice then Bob is not furry.
((("Bob" "is" "nice" "+")) -> ("Bob" "is" "furry" "-"))
If something is round and not furry then it is big.
((("something" "is" "round" "+") ("something" "is" "furry" "~")) -> ("something" "is" "big" "+"))
If something is nice and not furry then it is kind.
((("something" "is" "nice" "+") ("something" "is" "furry" "~")) -> ("something" "is" "kind" "+"))
If something is round and kind then it is green.
((("something" "is" "round" "+") ("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
All nice things are green.
((("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
If something is furry and not big then it is quiet.
((("something" "is" "furry" "+") ("something" "is" "big" "~")) -> ("something" "is" "quiet" "+"))
Bob is not furry.
True
1
proof
[(triple2)]
("Bob" "is" "furry" "-")
triple2
Bob is not round.
False
1
inv-proof
[(triple7)]
("Bob" "is" "round" "-")
triple7
@0: Bob is big.[(triple1 OR ((triple7 triple2) -> rule2))] Bob is green.[(triple3 OR ((triple7 triple4) -> rule4))] Bob is kind.[(triple4)] Bob is not furry.[(triple2)] Bob is not nice.[(triple5)] Bob is quiet.[(triple6)] Bob is round.[(triple7)]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple7 triple2) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
triple3
((triple7 triple4) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is not furry.
("Bob" "is" "furry" "-")
triple2
Bob is not nice.
("Bob" "is" "nice" "-")
triple5
Bob is quiet.
("Bob" "is" "quiet" "+")
triple6
Bob is round.
("Bob" "is" "round" "+")
triple7