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