Bob is rough. Erin is kind. Erin is rough. Erin is smart. Gary is big. Gary is blue. Gary is kind. Gary is rough. Gary is round. Gary is smart. Harry is kind. Harry is young. All round, blue things are kind. All smart things are blue. If something is big and not smart then it is not blue. If something is round and not young then it is rough. Kind, big things are rough. All smart things are round.
Erin is not kind.
@0: Bob is rough.[(triple1)] Erin is kind.[(triple2 OR ((((triple4) -> rule6) ((triple4) -> rule2)) -> rule1))] Erin is rough.[(triple3)] Erin is smart.[(triple4)] Gary is big.[(triple5)] Gary is blue.[(triple6 OR ((triple10) -> rule2))] Gary is kind.[(triple7 OR ((triple9 triple6) -> rule1) OR ((triple9 ((triple10) -> rule2)) -> rule1) OR ((((triple10) -> rule6) triple6) -> rule1) OR ((((triple10) -> rule6) ((triple10) -> rule2)) -> rule1))] Gary is rough.[(triple8 OR ((triple7 triple5) -> rule5) OR ((((triple9 triple6) -> rule1) triple5) -> rule5) OR ((((triple9 ((triple10) -> rule2)) -> rule1) triple5) -> rule5) OR ((((((triple10) -> rule6) triple6) -> rule1) triple5) -> rule5) OR ((((((triple10) -> rule6) ((triple10) -> rule2)) -> rule1) triple5) -> rule5))] Gary is round.[(triple9 OR ((triple10) -> rule6))] Gary is smart.[(triple10)] Harry is kind.[(triple11)] Harry is young.[(triple12)] @1: Erin is blue.[(((triple4) -> rule2))] Erin is round.[(((triple4) -> rule6))]