Bob is big. Bob is cold. Bob is nice. Bob is rough. Bob is round. Bob is not smart. Bob is not young. Young things are smart. If Bob is young and Bob is cold then Bob is smart.
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Bob is not young.
("Bob" "is" "young" "-")
Young things are smart.
((("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
If Bob is young and Bob is cold then Bob is smart.
((("Bob" "is" "young" "+") ("Bob" "is" "cold" "+")) -> ("Bob" "is" "smart" "+"))
Bob is cold.
True
1
proof
[(triple2)]
("Bob" "is" "cold" "+")
triple2
Bob is not rough.
False
1
inv-proof
[(triple4)]
("Bob" "is" "rough" "-")
triple4
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is nice.[(triple3)] Bob is not smart.[(triple6)] Bob is not young.[(triple7)] Bob is rough.[(triple4)] Bob is round.[(triple5)]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is not smart.
("Bob" "is" "smart" "-")
triple6
Bob is not young.
("Bob" "is" "young" "-")
triple7
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple5