Anne is big. Anne is red. Anne is rough. Anne is smart. Charlie is nice. Charlie is young. Dave is big. Dave is red. Dave is smart. Dave is white. Smart, nice things are white. If something is nice then it is smart. Red things are smart. If something is rough then it is red. If Charlie is white then Charlie is young. If something is white and young then it is red.
Charlie is big.
@0: Anne is big.[(triple1)] Anne is red.[(triple2 OR ((triple3) -> rule4))] Anne is rough.[(triple3)] Anne is smart.[(triple4 OR ((triple2) -> rule3) OR ((((triple3) -> rule4)) -> rule3))] Charlie is nice.[(triple5)] Charlie is young.[(triple6 OR ((((((triple5) -> rule2) triple5) -> rule1)) -> rule5))] Dave is big.[(triple7)] Dave is red.[(triple8)] Dave is smart.[(triple9 OR ((triple8) -> rule3))] Dave is white.[(triple10)] @1: Charlie is smart.[(((triple5) -> rule2))] @2: Charlie is white.[(((((triple5) -> rule2) triple5) -> rule1))] @3: Charlie is red.[(((((((triple5) -> rule2) triple5) -> rule1) triple6) -> rule6) OR ((((((triple5) -> rule2) triple5) -> rule1) ((((((triple5) -> rule2) triple5) -> rule1)) -> rule5)) -> rule6))]