Anne is big. Anne is not blue. Anne is cold. Anne is not furry. Anne is not red. Anne is rough. Anne is smart. Harry is big. Harry is not blue. Harry is not cold. Harry is furry. Harry is not red. Harry is rough. Harry is not smart. Red people are furry. All smart, rough people are big.
Anne is big.
("Anne" "is" "big" "+")
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is not red.
("Anne" "is" "red" "-")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is not cold.
("Harry" "is" "cold" "-")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is not red.
("Harry" "is" "red" "-")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is not smart.
("Harry" "is" "smart" "-")
Red people are furry.
((("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
All smart, rough people are big.
((("someone" "is" "smart" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Anne is not furry.
True
1
proof
[(triple4)]
("Anne" "is" "furry" "-")
triple4
Anne is red.
False
1
inv-proof
[(triple5)]
("Anne" "is" "red" "+")
triple5
@0: Anne is big.[(triple1 OR ((triple7 triple6) -> rule2))] Anne is cold.[(triple3)] Anne is not blue.[(triple2)] Anne is not furry.[(triple4)] Anne is not red.[(triple5)] Anne is rough.[(triple6)] Anne is smart.[(triple7)] Harry is big.[(triple8)] Harry is furry.[(triple11)] Harry is not blue.[(triple9)] Harry is not cold.[(triple10)] Harry is not red.[(triple12)] Harry is not smart.[(triple14)] Harry is rough.[(triple13)]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple7 triple6) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
triple3
Anne is not blue.
("Anne" "is" "blue" "-")
triple2
Anne is not furry.
("Anne" "is" "furry" "-")
triple4
Anne is not red.
("Anne" "is" "red" "-")
triple5
Anne is rough.
("Anne" "is" "rough" "+")
triple6
Anne is smart.
("Anne" "is" "smart" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is furry.
("Harry" "is" "furry" "+")
triple11
Harry is not blue.
("Harry" "is" "blue" "-")
triple9
Harry is not cold.
("Harry" "is" "cold" "-")
triple10
Harry is not red.
("Harry" "is" "red" "-")
triple12
Harry is not smart.
("Harry" "is" "smart" "-")
triple14
Harry is rough.
("Harry" "is" "rough" "+")
triple13