Charlie is big. Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Charlie is white. Dave is big. Dave is green. Dave is kind. Dave is white. If Dave is red and Dave is kind then Dave is white. Nice, kind people are rough. All green people are big. Red people are big. If Charlie is red and Charlie is rough then Charlie is nice. If someone is green then they are red.
Dave is nice.
@0: Charlie is big.[(triple1 OR ((triple2) -> rule3) OR ((triple5) -> rule4) OR ((((triple2) -> rule6)) -> rule4))] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is red.[(triple5 OR ((triple2) -> rule6))] Charlie is white.[(triple6)] Dave is big.[(triple7 OR ((triple8) -> rule3) OR ((((triple8) -> rule6)) -> rule4))] Dave is green.[(triple8)] Dave is kind.[(triple9)] Dave is white.[(triple10 OR ((((triple8) -> rule6) triple9) -> rule1))] @1: Charlie is rough.[(((triple4 triple3) -> rule2))] Dave is red.[(((triple8) -> rule6))]