Bob is blue. Bob is furry. Bob is green. Bob is kind. Bob is white. Erin is blue. Erin is green. Erin is round. Erin is white. Fiona is blue. Fiona is furry. Fiona is green. Fiona is kind. Fiona is rough. Fiona is round. Fiona is white. All round things are furry. If something is green then it is blue. If something is furry then it is kind. If Bob is rough and Bob is green then Bob is round. All round things are furry. Green, round things are white.
Erin is furry.
@0: Bob is blue.[(triple1 OR ((triple3) -> rule2))] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is kind.[(triple4 OR ((triple2) -> rule3))] Bob is white.[(triple5)] Erin is blue.[(triple6 OR ((triple7) -> rule2))] Erin is green.[(triple7)] Erin is round.[(triple8)] Erin is white.[(triple9 OR ((triple7 triple8) -> rule6))] Fiona is blue.[(triple10 OR ((triple12) -> rule2))] Fiona is furry.[(triple11 OR ((triple15) -> rule1) OR ((triple15) -> rule5))] Fiona is green.[(triple12)] Fiona is kind.[(triple13 OR ((triple11) -> rule3) OR ((((triple15) -> rule1)) -> rule3) OR ((((triple15) -> rule5)) -> rule3))] Fiona is rough.[(triple14)] Fiona is round.[(triple15)] Fiona is white.[(triple16 OR ((triple12 triple15) -> rule6))] @1: Erin is furry.[(((triple8) -> rule1) OR ((triple8) -> rule5))] @2: Erin is kind.[(((((triple8) -> rule1)) -> rule3) OR ((((triple8) -> rule5)) -> rule3))]