Bob is big. Bob is furry. Bob is green. Bob is kind. Bob is nice. Bob is red. Bob is white. Gary is big. Gary is furry. Gary is green. Gary is kind. Gary is nice. Gary is red. Gary is white. All white people are green. All big people are green.
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is white.
("Bob" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
All white people are green.
((("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
All big people are green.
((("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
Bob is white.
True
1
proof
[(triple7)]
("Bob" "is" "white" "+")
triple7
Bob is not red.
False
1
inv-proof
[(triple6)]
("Bob" "is" "red" "-")
triple6
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3 OR ((triple1) -> rule2) OR ((triple7) -> rule1))] Bob is kind.[(triple4)] Bob is nice.[(triple5)] Bob is red.[(triple6)] Bob is white.[(triple7)] Gary is big.[(triple8)] Gary is furry.[(triple9)] Gary is green.[(triple10 OR ((triple14) -> rule1) OR ((triple8) -> rule2))] Gary is kind.[(triple11)] Gary is nice.[(triple12)] Gary is red.[(triple13)] Gary is white.[(triple14)]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
((triple1) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((triple7) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple6
Bob is white.
("Bob" "is" "white" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple10
((triple14) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple8) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple12
Gary is red.
("Gary" "is" "red" "+")
triple13
Gary is white.
("Gary" "is" "white" "+")
triple14