Gary is kind. Gary is nice. Gary is red. Gary is rough. Gary is round. Gary is smart. Gary is white. Harry is kind. Harry is nice. Harry is red. Harry is rough. Harry is round. Harry is smart. Harry is white. All kind people are rough. Nice people are rough. If someone is rough then they are kind. If someone is smart and red then they are rough. If someone is round and red then they are smart. If someone is smart then they are round.
Gary is not round.
@0: Gary is kind.[(triple1 OR ((triple4) -> rule3) OR ((((triple2) -> rule2)) -> rule3) OR ((((triple6 triple3) -> rule4)) -> rule3) OR ((((((triple5 triple3) -> rule5) triple3) -> rule4)) -> rule3))] Gary is nice.[(triple2)] Gary is red.[(triple3)] Gary is rough.[(triple4 OR ((triple1) -> rule1) OR ((triple2) -> rule2) OR ((triple6 triple3) -> rule4) OR ((((triple5 triple3) -> rule5) triple3) -> rule4))] Gary is round.[(triple5 OR ((triple6) -> rule6))] Gary is smart.[(triple6 OR ((triple5 triple3) -> rule5))] Gary is white.[(triple7)] Harry is kind.[(triple8 OR ((triple11) -> rule3) OR ((((triple9) -> rule2)) -> rule3) OR ((((triple13 triple10) -> rule4)) -> rule3) OR ((((((triple12 triple10) -> rule5) triple10) -> rule4)) -> rule3))] Harry is nice.[(triple9)] Harry is red.[(triple10)] Harry is rough.[(triple11 OR ((triple8) -> rule1) OR ((triple9) -> rule2) OR ((triple13 triple10) -> rule4) OR ((((triple12 triple10) -> rule5) triple10) -> rule4))] Harry is round.[(triple12 OR ((triple13) -> rule6))] Harry is smart.[(triple13 OR ((triple12 triple10) -> rule5))] Harry is white.[(triple14)]