Bob is furry. Bob is nice. Bob is red. Bob is round. Bob is smart. Bob is white. Charlie is green. Charlie is nice. Charlie is round. Charlie is smart. Charlie is white. Fiona is furry. Fiona is green. Fiona is red. Fiona is round. Fiona is smart. Round people are smart. All nice people are furry. All red, round people are nice.
Fiona is white.
@0: Bob is furry.[(triple1 OR ((triple2) -> rule2) OR ((((triple3 triple4) -> rule3)) -> rule2))] Bob is nice.[(triple2 OR ((triple3 triple4) -> rule3))] Bob is red.[(triple3)] Bob is round.[(triple4)] Bob is smart.[(triple5 OR ((triple4) -> rule1))] Bob is white.[(triple6)] Charlie is green.[(triple7)] Charlie is nice.[(triple8)] Charlie is round.[(triple9)] Charlie is smart.[(triple10 OR ((triple9) -> rule1))] Charlie is white.[(triple11)] Fiona is furry.[(triple12 OR ((((triple14 triple15) -> rule3)) -> rule2))] Fiona is green.[(triple13)] Fiona is red.[(triple14)] Fiona is round.[(triple15)] Fiona is smart.[(triple16 OR ((triple15) -> rule1))] @1: Charlie is furry.[(((triple8) -> rule2))] Fiona is nice.[(((triple14 triple15) -> rule3))]