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