Charlie is big. Charlie is blue. Charlie is rough. Charlie is round. Dave is big. Dave is kind. Dave is red. Dave is rough. Dave is white. Gary is big. Gary is blue. Gary is kind. Gary is red. Gary is rough. Gary is round. Gary is white. Rough things are white. All blue things are rough. All big things are kind.
Charlie is rough.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is rough.[(triple3 OR ((triple2) -> rule2))] Charlie is round.[(triple4)] Dave is big.[(triple5)] Dave is kind.[(triple6 OR ((triple5) -> rule3))] Dave is red.[(triple7)] Dave is rough.[(triple8)] Dave is white.[(triple9 OR ((triple8) -> rule1))] Gary is big.[(triple10)] Gary is blue.[(triple11)] Gary is kind.[(triple12 OR ((triple10) -> rule3))] Gary is red.[(triple13)] Gary is rough.[(triple14 OR ((triple11) -> rule2))] Gary is round.[(triple15)] Gary is white.[(triple16 OR ((triple14) -> rule1) OR ((((triple11) -> rule2)) -> rule1))] @1: Charlie is kind.[(((triple1) -> rule3))] Charlie is white.[(((triple3) -> rule1) OR ((((triple2) -> rule2)) -> rule1))]