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