Anne is white. Charlie is furry. Charlie is nice. Charlie is white. Dave is big. Dave is blue. Dave is furry. All big, white people are young. If Dave is red then Dave is young. All white, blue people are nice. If Charlie is young then Charlie is blue. All young, red people are blue. If someone is young and furry then they are red. If someone is nice then they are young. Blue, red people are big.
Dave is white.
@0: Anne is white.[(triple1)] Charlie is furry.[(triple2)] Charlie is nice.[(triple3)] Charlie is white.[(triple4)] Dave is big.[(triple5)] Dave is blue.[(triple6)] Dave is furry.[(triple7)] @1: Charlie is young.[(((triple3) -> rule7))] @2: Charlie is blue.[(((((triple3) -> rule7)) -> rule4) OR ((((triple3) -> rule7) ((((triple3) -> rule7) triple2) -> rule6)) -> rule5))] Charlie is red.[(((((triple3) -> rule7) triple2) -> rule6))] @3: Charlie is big.[(((((((triple3) -> rule7)) -> rule4) ((((triple3) -> rule7) triple2) -> rule6)) -> rule8) OR ((((((triple3) -> rule7) ((((triple3) -> rule7) triple2) -> rule6)) -> rule5) ((((triple3) -> rule7) triple2) -> rule6)) -> rule8))]