Anne is kind. Bob is furry. Bob is green. Bob is kind. Bob is nice. Bob is quiet. Bob is red. Bob is round. Erin is furry. Erin is red. If Bob is nice and Bob is furry then Bob is red. All round, furry people are nice. Kind people are round. Kind, round people are quiet. All furry people are nice. If someone is furry and quiet then they are green. If Erin is furry then Erin is nice. Quiet, furry people are kind.
Erin is red.
@0: Anne is kind.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3 OR ((triple2 triple6) -> rule6) OR ((triple2 ((triple4 triple8) -> rule4)) -> rule6) OR ((triple2 ((triple4 ((triple4) -> rule3)) -> rule4)) -> rule6))] Bob is kind.[(triple4 OR ((triple6 triple2) -> rule8))] Bob is nice.[(triple5 OR ((triple2) -> rule5) OR ((triple8 triple2) -> rule2) OR ((((triple4) -> rule3) triple2) -> rule2) OR ((((((triple6 triple2) -> rule8)) -> rule3) triple2) -> rule2))] Bob is quiet.[(triple6 OR ((triple4 triple8) -> rule4) OR ((triple4 ((triple4) -> rule3)) -> rule4))] Bob is red.[(triple7 OR ((triple5 triple2) -> rule1) OR ((((triple2) -> rule5) triple2) -> rule1) OR ((((triple8 triple2) -> rule2) triple2) -> rule1) OR ((((((triple4) -> rule3) triple2) -> rule2) triple2) -> rule1) OR ((((((((triple6 triple2) -> rule8)) -> rule3) triple2) -> rule2) triple2) -> rule1))] Bob is round.[(triple8 OR ((triple4) -> rule3) OR ((((triple6 triple2) -> rule8)) -> rule3))] Erin is furry.[(triple9)] Erin is red.[(triple10)] @1: Anne is round.[(((triple1) -> rule3))] Erin is nice.[(((triple9) -> rule5) OR ((triple9) -> rule7))] @2: Anne is quiet.[(((triple1 ((triple1) -> rule3)) -> rule4))]