Charlie is big. Charlie is blue. Charlie is green. Charlie is quiet. Charlie is smart. Charlie is white. Harry is big. Harry is blue. Harry is green. Harry is nice. Harry is quiet. Harry is white. If Charlie is smart and Charlie is big then Charlie is nice. Big things are smart. All quiet things are big.
Charlie is blue.
@0: Charlie is big.[(triple1 OR ((triple4) -> rule3))] Charlie is blue.[(triple2)] Charlie is green.[(triple3)] Charlie is quiet.[(triple4)] Charlie is smart.[(triple5 OR ((triple1) -> rule2) OR ((((triple4) -> rule3)) -> rule2))] Charlie is white.[(triple6)] Harry is big.[(triple7 OR ((triple11) -> rule3))] Harry is blue.[(triple8)] Harry is green.[(triple9)] Harry is nice.[(triple10)] Harry is quiet.[(triple11)] Harry is white.[(triple12)] @1: Charlie is nice.[(((triple5 triple1) -> rule1) OR ((triple5 ((triple4) -> rule3)) -> rule1) OR ((((triple1) -> rule2) triple1) -> rule1) OR ((((triple1) -> rule2) ((triple4) -> rule3)) -> rule1) OR ((((((triple4) -> rule3)) -> rule2) triple1) -> rule1) OR ((((((triple4) -> rule3)) -> rule2) ((triple4) -> rule3)) -> rule1))] Harry is smart.[(((triple7) -> rule2) OR ((((triple11) -> rule3)) -> rule2))]