Bob is red. Bob is rough. Bob is smart. Bob is white. Bob is young. Erin is kind. Erin is red. Erin is round. Erin is smart. Erin is white. Erin is young. Gary is kind. If someone is round then they are kind. If Bob is young then Bob is red. All young, rough people are white. All round people are rough. Young people are round. If Bob is round and Bob is red then Bob is white.
Erin is round.
@0: Bob is red.[(triple1 OR ((triple5) -> rule2))] Bob is rough.[(triple2 OR ((((triple5) -> rule5)) -> rule4))] Bob is smart.[(triple3)] Bob is white.[(triple4 OR ((triple5 triple2) -> rule3) OR ((((triple5) -> rule5) triple1) -> rule6) OR ((((triple5) -> rule5) ((triple5) -> rule2)) -> rule6) OR ((triple5 ((((triple5) -> rule5)) -> rule4)) -> rule3))] Bob is young.[(triple5)] Erin is kind.[(triple6 OR ((triple8) -> rule1) OR ((((triple11) -> rule5)) -> rule1))] Erin is red.[(triple7)] Erin is round.[(triple8 OR ((triple11) -> rule5))] Erin is smart.[(triple9)] Erin is white.[(triple10 OR ((triple11 ((triple8) -> rule4)) -> rule3) OR ((triple11 ((((triple11) -> rule5)) -> rule4)) -> rule3))] Erin is young.[(triple11)] Gary is kind.[(triple12)] @1: Bob is round.[(((triple5) -> rule5))] Erin is rough.[(((triple8) -> rule4) OR ((((triple11) -> rule5)) -> rule4))] @2: Bob is kind.[(((((triple5) -> rule5)) -> rule1))]