Bob is big. Bob is furry. Bob is kind. Bob is nice. Bob is quiet. Bob is not red. Bob is white. All furry people are big.
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is not red.
("Bob" "is" "red" "-")
Bob is white.
("Bob" "is" "white" "+")
All furry people are big.
((("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
Bob is nice.
True
1
proof
[(triple4)]
("Bob" "is" "nice" "+")
triple4
Bob is not kind.
False
1
inv-proof
[(triple3)]
("Bob" "is" "kind" "-")
triple3
@0: Bob is big.[(triple1 OR ((triple2) -> rule1))] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is not red.[(triple6)] Bob is quiet.[(triple5)] Bob is white.[(triple7)]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple2) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is not red.
("Bob" "is" "red" "-")
triple6
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
Bob is white.
("Bob" "is" "white" "+")
triple7