Bob is furry. Bob is rough. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is kind. Erin is round. Fiona is blue. Fiona is kind. Fiona is rough. Kind, furry things are round. If something is cold and blue then it is furry. If something is round then it is furry. All round, rough things are blue. All furry things are kind. Blue things are red. All rough things are kind. If Erin is red then Erin is kind.
Erin is blue.
@0: Bob is furry.[(triple1)] Bob is rough.[(triple2)] Charlie is blue.[(triple3)] Charlie is cold.[(triple4)] Charlie is furry.[(triple5 OR ((triple4 triple3) -> rule2))] Charlie is kind.[(triple6 OR ((triple5) -> rule5) OR ((((triple4 triple3) -> rule2)) -> rule5))] Erin is round.[(triple7)] Fiona is blue.[(triple8)] Fiona is kind.[(triple9 OR ((triple10) -> rule7))] Fiona is rough.[(triple10)] @1: Bob is kind.[(((triple1) -> rule5) OR ((triple2) -> rule7))] Charlie is red.[(((triple3) -> rule6))] Charlie is round.[(((triple6 triple5) -> rule1) OR ((triple6 ((triple4 triple3) -> rule2)) -> rule1) OR ((((triple5) -> rule5) triple5) -> rule1) OR ((((triple5) -> rule5) ((triple4 triple3) -> rule2)) -> rule1) OR ((((((triple4 triple3) -> rule2)) -> rule5) triple5) -> rule1) OR ((((((triple4 triple3) -> rule2)) -> rule5) ((triple4 triple3) -> rule2)) -> rule1))] Erin is furry.[(((triple7) -> rule3))] Fiona is red.[(((triple8) -> rule6))] @2: Bob is round.[(((((triple1) -> rule5) triple1) -> rule1) OR ((((triple2) -> rule7) triple1) -> rule1))] Erin is kind.[(((((triple7) -> rule3)) -> rule5))] @3: Bob is blue.[(((((((triple1) -> rule5) triple1) -> rule1) triple2) -> rule4) OR ((((((triple2) -> rule7) triple1) -> rule1) triple2) -> rule4))] @4: Bob is red.[(((((((((triple1) -> rule5) triple1) -> rule1) triple2) -> rule4)) -> rule6) OR ((((((((triple2) -> rule7) triple1) -> rule1) triple2) -> rule4)) -> rule6))]