Bob is nice. Bob is quiet. Bob is red. Bob is rough. Bob is white. Erin is big. Erin is quiet. Erin is red. Erin is round. Erin is white. Gary is big. Gary is nice. Gary is quiet. Gary is red. Gary is rough. All nice people are rough. If someone is round and rough then they are white. Rough, big people are white. If Gary is big then Gary is quiet. Red, nice people are white. If someone is red and rough then they are nice. If Bob is red then Bob is big. Red people are quiet.
Bob is round.
@0: Bob is nice.[(triple1 OR ((triple3 triple4) -> rule6))] Bob is quiet.[(triple2 OR ((triple3) -> rule8))] Bob is red.[(triple3)] Bob is rough.[(triple4 OR ((triple1) -> rule1))] Bob is white.[(triple5 OR ((triple3 triple1) -> rule5) OR ((triple3 ((triple3 triple4) -> rule6)) -> rule5) OR ((triple4 ((triple3) -> rule7)) -> rule3) OR ((((triple1) -> rule1) ((triple3) -> rule7)) -> rule3))] Erin is big.[(triple6)] Erin is quiet.[(triple7 OR ((triple8) -> rule8))] Erin is red.[(triple8)] Erin is round.[(triple9)] Erin is white.[(triple10)] Gary is big.[(triple11)] Gary is nice.[(triple12 OR ((triple14 triple15) -> rule6))] Gary is quiet.[(triple13 OR ((triple11) -> rule4) OR ((triple14) -> rule8))] Gary is red.[(triple14)] Gary is rough.[(triple15 OR ((triple12) -> rule1))] @1: Bob is big.[(((triple3) -> rule7))] Gary is white.[(((triple14 triple12) -> rule5) OR ((triple15 triple11) -> rule3) OR ((triple14 ((triple14 triple15) -> rule6)) -> rule5) OR ((((triple12) -> rule1) triple11) -> rule3))]