Bob is big. Bob is blue. Bob is green. Bob is not kind. Bob is round. Bob is white. Bob is not young. If someone is white and blue then they are round.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is not young.
("Bob" "is" "young" "-")
If someone is white and blue then they are round.
((("someone" "is" "white" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Bob is green.
True
1
proof
[(triple3)]
("Bob" "is" "green" "+")
triple3
Bob is not big.
False
1
inv-proof
[(triple1)]
("Bob" "is" "big" "-")
triple1
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is green.[(triple3)] Bob is not kind.[(triple4)] Bob is not young.[(triple7)] Bob is round.[(triple5 OR ((triple6 triple2) -> rule1))] Bob is white.[(triple6)]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is not kind.
("Bob" "is" "kind" "-")
triple4
Bob is not young.
("Bob" "is" "young" "-")
triple7
Bob is round.
("Bob" "is" "round" "+")
triple5
((triple6 triple2) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
triple6