Anne is not big. Anne is not cold. Anne is furry. Anne is green. Anne is rough. Anne is round. Anne is white. Bob is big. Bob is cold. Bob is not furry. Bob is not green. Bob is rough. Bob is not round. Bob is not white. Green people are round. If someone is furry then they are not cold. Green people are white. If Bob is white then Bob is not green. If someone is big and round then they are rough. If Bob is not round then Bob is rough.
Anne is not big.
("Anne" "is" "big" "-")
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is not green.
("Bob" "is" "green" "-")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is not round.
("Bob" "is" "round" "-")
Bob is not white.
("Bob" "is" "white" "-")
Green people are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is furry then they are not cold.
((("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "-"))
Green people are white.
((("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
If Bob is white then Bob is not green.
((("Bob" "is" "white" "+")) -> ("Bob" "is" "green" "-"))
If someone is big and round then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If Bob is not round then Bob is rough.
((("Bob" "is" "round" "~")) -> ("Bob" "is" "rough" "+"))
Bob is not white.
True
1
proof
[(triple14)]
("Bob" "is" "white" "-")
triple14
Anne is not furry.
False
1
inv-proof
[(triple3)]
("Anne" "is" "furry" "-")
triple3
@0: Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is not big.[(triple1)] Anne is not cold.[(triple2 OR ((triple3) -> rule2))] Anne is rough.[(triple5)] Anne is round.[(triple6 OR ((triple4) -> rule1))] Anne is white.[(triple7 OR ((triple4) -> rule3))] Bob is big.[(triple8)] Bob is cold.[(triple9)] Bob is not furry.[(triple10)] Bob is not green.[(triple11)] Bob is not round.[(triple13)] Bob is not white.[(triple14)] Bob is rough.[(triple12 OR ((triple13) -> rule6))]
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Anne is green.
("Anne" "is" "green" "+")
triple4
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is not cold.
("Anne" "is" "cold" "-")
triple2
((triple3) -> (rule2 % int1))
Anne is not cold.
("Anne" "is" "cold" "-")
int1
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Anne is round.
("Anne" "is" "round" "+")
triple6
((triple4) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
triple7
((triple4) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
triple8
Bob is cold.
("Bob" "is" "cold" "+")
triple9
Bob is not furry.
("Bob" "is" "furry" "-")
triple10
Bob is not green.
("Bob" "is" "green" "-")
triple11
Bob is not round.
("Bob" "is" "round" "-")
triple13
Bob is not white.
("Bob" "is" "white" "-")
triple14
Bob is rough.
("Bob" "is" "rough" "+")
triple12
((triple13) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1