Anne is big. Anne is cold. Anne is furry. Anne is red. Anne is rough. Anne is young. Bob is big. Bob is blue. Bob is not cold. Bob is furry. Bob is red. Bob is not rough. If someone is young and cold then they are big. If Anne is rough and Anne is red then Anne is blue. If Bob is cold and Bob is furry then Bob is rough. If Bob is cold then Bob is furry. All cold, furry people are blue. All rough people are cold.
Anne is not young.
@0: Anne is big.[(triple1 OR ((triple6 triple2) -> rule1) OR ((triple6 ((triple5) -> rule6)) -> rule1))] Anne is cold.[(triple2 OR ((triple5) -> rule6))] Anne is furry.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is young.[(triple6)] Bob is big.[(triple7)] Bob is blue.[(triple8)] Bob is furry.[(triple10)] Bob is not cold.[(triple9)] Bob is not rough.[(triple12)] Bob is red.[(triple11)] @1: Anne is blue.[(((triple2 triple3) -> rule5) OR ((triple5 triple4) -> rule2) OR ((((triple5) -> rule6) triple3) -> rule5))]