Bob is furry. Bob is kind. Bob is red. Bob is young. Erin is furry. Erin is kind. Erin is rough. Fiona is furry. Fiona is kind. Fiona is round. Harry is kind. Harry is young. If someone is rough then they are kind. If someone is red then they are round. Red, furry people are round. Furry people are red. Round, rough people are kind. All kind, young people are furry.
Erin is not rough.
@0: Bob is furry.[(triple1 OR ((triple2 triple4) -> rule6))] Bob is kind.[(triple2)] Bob is red.[(triple3 OR ((triple1) -> rule4) OR ((((triple2 triple4) -> rule6)) -> rule4))] Bob is young.[(triple4)] Erin is furry.[(triple5)] Erin is kind.[(triple6 OR ((triple7) -> rule1) OR ((((((triple5) -> rule4)) -> rule2) triple7) -> rule5) OR ((((((triple5) -> rule4) triple5) -> rule3) triple7) -> rule5))] Erin is rough.[(triple7)] Fiona is furry.[(triple8)] Fiona is kind.[(triple9)] Fiona is round.[(triple10 OR ((((triple8) -> rule4)) -> rule2) OR ((((triple8) -> rule4) triple8) -> rule3))] Harry is kind.[(triple11)] Harry is young.[(triple12)] @1: Bob is round.[(((triple3) -> rule2) OR ((triple3 triple1) -> rule3) OR ((((triple1) -> rule4)) -> rule2) OR ((triple3 ((triple2 triple4) -> rule6)) -> rule3) OR ((((triple1) -> rule4) triple1) -> rule3) OR ((((triple1) -> rule4) ((triple2 triple4) -> rule6)) -> rule3) OR ((((((triple2 triple4) -> rule6)) -> rule4)) -> rule2) OR ((((((triple2 triple4) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple2 triple4) -> rule6)) -> rule4) ((triple2 triple4) -> rule6)) -> rule3))] Erin is red.[(((triple5) -> rule4))] Fiona is red.[(((triple8) -> rule4))] Harry is furry.[(((triple11 triple12) -> rule6))] @2: Erin is round.[(((((triple5) -> rule4)) -> rule2) OR ((((triple5) -> rule4) triple5) -> rule3))] Harry is red.[(((((triple11 triple12) -> rule6)) -> rule4))] @3: Harry is round.[(((((((triple11 triple12) -> rule6)) -> rule4)) -> rule2) OR ((((((triple11 triple12) -> rule6)) -> rule4) ((triple11 triple12) -> rule6)) -> rule3))]