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