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