Bob is blue. Bob is kind. Bob is red. Bob is round. Erin is blue. Erin is furry. Erin is kind. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is round. Harry is furry. Harry is quiet. Harry is red. All blue people are furry. Kind people are red. All blue people are quiet. Blue, furry people are red. All kind, rough people are quiet. All quiet, kind people are round. If someone is red and kind then they are blue. If someone is rough then they are kind.
Harry is rough.
@0: Bob is blue.[(triple1 OR ((triple3 triple2) -> rule7) OR ((((triple2) -> rule2) triple2) -> rule7))] Bob is kind.[(triple2)] Bob is red.[(triple3 OR ((triple2) -> rule2) OR ((triple1 ((triple1) -> rule1)) -> rule4))] Bob is round.[(triple4 OR ((((triple1) -> rule3) triple2) -> rule6) OR ((((((triple3 triple2) -> rule7)) -> rule3) triple2) -> rule6) OR ((((((((triple2) -> rule2) triple2) -> rule7)) -> rule3) triple2) -> rule6))] Erin is blue.[(triple5 OR ((((triple7) -> rule2) triple7) -> rule7))] Erin is furry.[(triple6 OR ((triple5) -> rule1) OR ((((((triple7) -> rule2) triple7) -> rule7)) -> rule1))] Erin is kind.[(triple7)] Fiona is blue.[(triple8 OR ((triple12 triple10) -> rule7) OR ((((triple10) -> rule2) triple10) -> rule7))] Fiona is furry.[(triple9 OR ((triple8) -> rule1) OR ((((triple12 triple10) -> rule7)) -> rule1) OR ((((((triple10) -> rule2) triple10) -> rule7)) -> rule1))] Fiona is kind.[(triple10)] Fiona is quiet.[(triple11 OR ((triple8) -> rule3) OR ((((triple12 triple10) -> rule7)) -> rule3) OR ((((((triple10) -> rule2) triple10) -> rule7)) -> rule3))] Fiona is red.[(triple12 OR ((triple10) -> rule2) OR ((triple8 triple9) -> rule4) OR ((triple8 ((triple8) -> rule1)) -> rule4))] Fiona is round.[(triple13 OR ((triple11 triple10) -> rule6) OR ((((triple8) -> rule3) triple10) -> rule6) OR ((((((triple12 triple10) -> rule7)) -> rule3) triple10) -> rule6) OR ((((((((triple10) -> rule2) triple10) -> rule7)) -> rule3) triple10) -> rule6))] Harry is furry.[(triple14)] Harry is quiet.[(triple15)] Harry is red.[(triple16)] @1: Bob is furry.[(((triple1) -> rule1) OR ((((triple3 triple2) -> rule7)) -> rule1) OR ((((((triple2) -> rule2) triple2) -> rule7)) -> rule1))] Bob is quiet.[(((triple1) -> rule3) OR ((((triple3 triple2) -> rule7)) -> rule3) OR ((((((triple2) -> rule2) triple2) -> rule7)) -> rule3))] Erin is quiet.[(((triple5) -> rule3) OR ((((((triple7) -> rule2) triple7) -> rule7)) -> rule3))] Erin is red.[(((triple7) -> rule2) OR ((triple5 triple6) -> rule4) OR ((triple5 ((triple5) -> rule1)) -> rule4))] @2: Erin is round.[(((((triple5) -> rule3) triple7) -> rule6) OR ((((((((triple7) -> rule2) triple7) -> rule7)) -> rule3) triple7) -> rule6))]