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