Anne is blue. Anne is cold. Anne is green. Anne is nice. Anne is rough. Anne is smart. Dave is blue. Dave is green. Dave is kind. Gary is blue. Gary is cold. Gary is green. Rough people are green. If Dave is smart and Dave is kind then Dave is cold. If someone is rough and cold then they are nice. Cold people are kind. Nice people are blue. All smart people are rough. All green, blue people are rough. If someone is blue and green then they are rough.
Anne is nice.
@0: Anne is blue.[(triple1 OR ((triple4) -> rule5) OR ((((triple5 triple2) -> rule3)) -> rule5) OR ((((((triple6) -> rule6) triple2) -> rule3)) -> rule5))] Anne is cold.[(triple2)] Anne is green.[(triple3 OR ((triple5) -> rule1) OR ((((triple6) -> rule6)) -> rule1))] Anne is nice.[(triple4 OR ((triple5 triple2) -> rule3) OR ((((triple6) -> rule6) triple2) -> rule3) OR ((((triple1 triple3) -> rule8) triple2) -> rule3) OR ((((triple3 triple1) -> rule7) triple2) -> rule3))] Anne is rough.[(triple5 OR ((triple6) -> rule6) OR ((triple1 triple3) -> rule8) OR ((triple3 triple1) -> rule7) OR ((triple3 ((triple4) -> rule5)) -> rule7) OR ((((triple4) -> rule5) triple3) -> rule8))] Anne is smart.[(triple6)] Dave is blue.[(triple7)] Dave is green.[(triple8)] Dave is kind.[(triple9)] Gary is blue.[(triple10)] Gary is cold.[(triple11)] Gary is green.[(triple12)] @1: Anne is kind.[(((triple2) -> rule4))] Dave is rough.[(((triple7 triple8) -> rule8) OR ((triple8 triple7) -> rule7))] Gary is kind.[(((triple11) -> rule4))] Gary is rough.[(((triple10 triple12) -> rule8) OR ((triple12 triple10) -> rule7))] @2: Gary is nice.[(((((triple10 triple12) -> rule8) triple11) -> rule3) OR ((((triple12 triple10) -> rule7) triple11) -> rule3))]