Anne is red. Anne is round. Bob is big. Bob is blue. Bob is green. Bob is quiet. Bob is red. Bob is round. Bob is smart. Charlie is quiet. Charlie is round. Gary is big. Gary is green. Gary is quiet. Gary is round. Gary is smart. If someone is green then they are quiet. If someone is smart then they are round. If someone is red then they are big. If someone is big and quiet then they are blue. If someone is big then they are round. If someone is red then they are quiet.
Charlie is not big.
@0: Anne is red.[(triple1)] Anne is round.[(triple2 OR ((((triple1) -> rule3)) -> rule5))] Bob is big.[(triple3 OR ((triple7) -> rule3))] Bob is blue.[(triple4 OR ((triple3 triple6) -> rule4) OR ((triple3 ((triple5) -> rule1)) -> rule4) OR ((triple3 ((triple7) -> rule6)) -> rule4) OR ((((triple7) -> rule3) triple6) -> rule4) OR ((((triple7) -> rule3) ((triple5) -> rule1)) -> rule4) OR ((((triple7) -> rule3) ((triple7) -> rule6)) -> rule4))] Bob is green.[(triple5)] Bob is quiet.[(triple6 OR ((triple5) -> rule1) OR ((triple7) -> rule6))] Bob is red.[(triple7)] Bob is round.[(triple8 OR ((triple3) -> rule5) OR ((triple9) -> rule2) OR ((((triple7) -> rule3)) -> rule5))] Bob is smart.[(triple9)] Charlie is quiet.[(triple10)] Charlie is round.[(triple11)] Gary is big.[(triple12)] Gary is green.[(triple13)] Gary is quiet.[(triple14 OR ((triple13) -> rule1))] Gary is round.[(triple15 OR ((triple12) -> rule5) OR ((triple16) -> rule2))] Gary is smart.[(triple16)] @1: Anne is big.[(((triple1) -> rule3))] Anne is quiet.[(((triple1) -> rule6))] Gary is blue.[(((triple12 triple14) -> rule4) OR ((triple12 ((triple13) -> rule1)) -> rule4))] @2: Anne is blue.[(((((triple1) -> rule3) ((triple1) -> rule6)) -> rule4))]