Bob is big. Bob is kind. Bob is quiet. Bob is red. Bob is white. Charlie is big. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is white. Erin is nice. Erin is white. If Bob is young and Bob is big then Bob is nice. All kind things are red. Kind, red things are quiet.
Erin is white.
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Bob is quiet.[(triple3 OR ((triple2 triple4) -> rule3) OR ((triple2 ((triple2) -> rule2)) -> rule3))] Bob is red.[(triple4 OR ((triple2) -> rule2))] Bob is white.[(triple5)] Charlie is big.[(triple6)] Charlie is nice.[(triple7)] Charlie is quiet.[(triple8)] Charlie is red.[(triple9)] Charlie is white.[(triple10)] Erin is nice.[(triple11)] Erin is white.[(triple12)]