Bob is big. Bob is cold. Bob is nice. Bob is red. Bob is round. Charlie is big. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Erin is cold. Erin is not nice. Erin is quiet. Erin is round. Gary is big. Gary is round. All rough, nice things are quiet. Red, cold things are quiet. Rough, quiet things are big. All round, big things are nice. If something is red and not round then it is nice. If Charlie is not rough then Charlie is red. All nice things are red. If Gary is cold then Gary is not big.
Erin is red.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is nice.[(triple3 OR ((triple5 triple1) -> rule4))] Bob is red.[(triple4 OR ((triple3) -> rule7) OR ((((triple5 triple1) -> rule4)) -> rule7))] Bob is round.[(triple5)] Charlie is big.[(triple6 OR ((triple9 triple7) -> rule3))] Charlie is quiet.[(triple7 OR ((triple9 ((triple10 triple6) -> rule4)) -> rule1))] Charlie is red.[(triple8 OR ((((triple10 triple6) -> rule4)) -> rule7) OR ((((triple10 ((triple9 triple7) -> rule3)) -> rule4)) -> rule7))] Charlie is rough.[(triple9)] Charlie is round.[(triple10)] Erin is cold.[(triple11)] Erin is not nice.[(triple12)] Erin is quiet.[(triple13)] Erin is round.[(triple14)] Gary is big.[(triple15)] Gary is round.[(triple16)] @1: Bob is quiet.[(((triple4 triple2) -> rule2) OR ((((triple3) -> rule7) triple2) -> rule2) OR ((((((triple5 triple1) -> rule4)) -> rule7) triple2) -> rule2))] Charlie is nice.[(((triple10 triple6) -> rule4) OR ((triple10 ((triple9 triple7) -> rule3)) -> rule4))] Gary is nice.[(((triple16 triple15) -> rule4))] @2: Gary is red.[(((((triple16 triple15) -> rule4)) -> rule7))]