Bob is furry. Bob is round. Bob is white. Dave is red. Dave is rough. Dave is round. Dave is white. Erin is furry. Erin is nice. Erin is not red. Erin is round. Fiona is kind. Fiona is nice. Fiona is not red. Fiona is rough. Fiona is round. If someone is kind and white then they are nice. If Erin is white and Erin is not red then Erin is round. Red people are furry. Round people are furry. If someone is furry and nice then they are rough. White, round people are kind.
Dave is not furry.
@0: Bob is furry.[(triple1 OR ((triple2) -> rule4))] Bob is round.[(triple2)] Bob is white.[(triple3)] Dave is red.[(triple4)] Dave is rough.[(triple5 OR ((((triple4) -> rule3) ((((triple7 triple6) -> rule6) triple7) -> rule1)) -> rule5) OR ((((triple6) -> rule4) ((((triple7 triple6) -> rule6) triple7) -> rule1)) -> rule5))] Dave is round.[(triple6)] Dave is white.[(triple7)] Erin is furry.[(triple8 OR ((triple11) -> rule4))] Erin is nice.[(triple9)] Erin is not red.[(triple10)] Erin is round.[(triple11)] Fiona is kind.[(triple12)] Fiona is nice.[(triple13)] Fiona is not red.[(triple14)] Fiona is rough.[(triple15 OR ((((triple16) -> rule4) triple13) -> rule5))] Fiona is round.[(triple16)] @1: Bob is kind.[(((triple3 triple2) -> rule6))] Dave is furry.[(((triple4) -> rule3) OR ((triple6) -> rule4))] Dave is kind.[(((triple7 triple6) -> rule6))] Erin is rough.[(((triple8 triple9) -> rule5) OR ((((triple11) -> rule4) triple9) -> rule5))] Fiona is furry.[(((triple16) -> rule4))] @2: Bob is nice.[(((((triple3 triple2) -> rule6) triple3) -> rule1))] Dave is nice.[(((((triple7 triple6) -> rule6) triple7) -> rule1))] @3: Bob is rough.[(((triple1 ((((triple3 triple2) -> rule6) triple3) -> rule1)) -> rule5) OR ((((triple2) -> rule4) ((((triple3 triple2) -> rule6) triple3) -> rule1)) -> rule5))]