Bob is cold. Bob is furry. Bob is not green. Bob is rough. Bob is smart. Bob is not white. Bob is young. If Bob is young then Bob is smart.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not green.
("Bob" "is" "green" "-")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is not white.
("Bob" "is" "white" "-")
Bob is young.
("Bob" "is" "young" "+")
If Bob is young then Bob is smart.
((("Bob" "is" "young" "+")) -> ("Bob" "is" "smart" "+"))
Bob is rough.
True
1
proof
[(triple4)]
("Bob" "is" "rough" "+")
triple4
Bob is not young.
False
1
inv-proof
[(triple7)]
("Bob" "is" "young" "-")
triple7
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is not green.[(triple3)] Bob is not white.[(triple6)] Bob is rough.[(triple4)] Bob is smart.[(triple5 OR ((triple7) -> rule1))] Bob is young.[(triple7)]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is not green.
("Bob" "is" "green" "-")
triple3
Bob is not white.
("Bob" "is" "white" "-")
triple6
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Bob is smart.
("Bob" "is" "smart" "+")
triple5
((triple7) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
triple7