Bob is furry. Bob is red. Bob is white. Charlie is big. Charlie is furry. Charlie is red. Charlie is young. Dave is red. Fiona is furry. Fiona is red. If something is red and furry then it is smart. All rough things are young. If Dave is rough then Dave is young. All smart things are young. If something is furry then it is big. If Fiona is white and Fiona is young then Fiona is furry.
Bob is not red.
@0: Bob is furry.[(triple1)] Bob is red.[(triple2)] Bob is white.[(triple3)] Charlie is big.[(triple4 OR ((triple5) -> rule5))] Charlie is furry.[(triple5)] Charlie is red.[(triple6)] Charlie is young.[(triple7 OR ((((triple6 triple5) -> rule1)) -> rule4))] Dave is red.[(triple8)] Fiona is furry.[(triple9)] Fiona is red.[(triple10)] @1: Bob is big.[(((triple1) -> rule5))] Bob is smart.[(((triple2 triple1) -> rule1))] Charlie is smart.[(((triple6 triple5) -> rule1))] Fiona is big.[(((triple9) -> rule5))] Fiona is smart.[(((triple10 triple9) -> rule1))] @2: Bob is young.[(((((triple2 triple1) -> rule1)) -> rule4))] Fiona is young.[(((((triple10 triple9) -> rule1)) -> rule4))]