Charlie is big. Charlie is blue. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is smart. Charlie is young. All smart people are nice. If Charlie is red and Charlie is big then Charlie is nice. If Charlie is nice then Charlie is quiet. If someone is big then they are red. If someone is smart and quiet then they are red. Quiet, big people are smart.
Charlie is not blue.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is nice.[(triple3 OR ((triple6) -> rule1) OR ((triple5 triple1) -> rule2) OR ((((triple4 triple1) -> rule6)) -> rule1) OR ((((triple1) -> rule4) triple1) -> rule2) OR ((((triple6 triple4) -> rule5) triple1) -> rule2) OR ((((((triple4 triple1) -> rule6) triple4) -> rule5) triple1) -> rule2))] Charlie is quiet.[(triple4 OR ((triple3) -> rule3) OR ((((triple6) -> rule1)) -> rule3) OR ((((triple5 triple1) -> rule2)) -> rule3) OR ((((((triple1) -> rule4) triple1) -> rule2)) -> rule3))] Charlie is red.[(triple5 OR ((triple1) -> rule4) OR ((triple6 triple4) -> rule5) OR ((triple6 ((triple3) -> rule3)) -> rule5) OR ((((triple4 triple1) -> rule6) triple4) -> rule5) OR ((((triple4 triple1) -> rule6) ((triple3) -> rule3)) -> rule5) OR ((triple6 ((((triple6) -> rule1)) -> rule3)) -> rule5) OR ((((((triple3) -> rule3) triple1) -> rule6) triple4) -> rule5) OR ((((triple4 triple1) -> rule6) ((((triple6) -> rule1)) -> rule3)) -> rule5) OR ((((((triple3) -> rule3) triple1) -> rule6) ((triple3) -> rule3)) -> rule5) OR ((((((triple3) -> rule3) triple1) -> rule6) ((((triple6) -> rule1)) -> rule3)) -> rule5))] Charlie is smart.[(triple6 OR ((triple4 triple1) -> rule6) OR ((((triple3) -> rule3) triple1) -> rule6) OR ((((((triple5 triple1) -> rule2)) -> rule3) triple1) -> rule6) OR ((((((((triple1) -> rule4) triple1) -> rule2)) -> rule3) triple1) -> rule6))] Charlie is young.[(triple7)]