Anne is big. Anne is cold. Anne is green. Anne is kind. Anne is nice. Anne is rough. Anne is smart. Bob is big. Bob is green. Bob is kind. Bob is smart. Dave is cold. Dave is kind. Dave is nice. Erin is cold. Erin is smart. If someone is smart and rough then they are big. All cold, big people are nice. All nice, rough people are smart.
Anne is nice.
@0: Anne is big.[(triple1 OR ((triple7 triple6) -> rule1) OR ((((triple5 triple6) -> rule3) triple6) -> rule1))] Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is nice.[(triple5 OR ((triple2 triple1) -> rule2) OR ((triple2 ((triple7 triple6) -> rule1)) -> rule2))] Anne is rough.[(triple6)] Anne is smart.[(triple7 OR ((triple5 triple6) -> rule3) OR ((((triple2 triple1) -> rule2) triple6) -> rule3))] Bob is big.[(triple8)] Bob is green.[(triple9)] Bob is kind.[(triple10)] Bob is smart.[(triple11)] Dave is cold.[(triple12)] Dave is kind.[(triple13)] Dave is nice.[(triple14)] Erin is cold.[(triple15)] Erin is smart.[(triple16)]