Bob is big. Bob is blue. Bob is furry. Bob is round. Charlie is big. Charlie is blue. Charlie is red. Charlie is white. Erin is furry. Erin is red. All red, nice people are big. All blue people are nice.
Erin is not big.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is furry.[(triple3)] Bob is round.[(triple4)] Charlie is big.[(triple5 OR ((triple7 ((triple6) -> rule2)) -> rule1))] Charlie is blue.[(triple6)] Charlie is red.[(triple7)] Charlie is white.[(triple8)] Erin is furry.[(triple9)] Erin is red.[(triple10)] @1: Bob is nice.[(((triple2) -> rule2))] Charlie is nice.[(((triple6) -> rule2))]