Bob is furry. Bob is green. Bob is nice. Bob is quiet. Bob is red. Bob is round. Charlie is furry. Charlie is nice. Erin is furry. Erin is red. Erin is round. Erin is young. All nice, red things are round. Young, red things are nice. All green, furry things are round. If something is nice and red then it is young. If something is green and quiet then it is furry. Red, furry things are nice. If Bob is young then Bob is round. If Bob is green then Bob is nice.
Erin is not round.
@0: Bob is furry.[(triple1 OR ((triple2 triple4) -> rule5))] Bob is green.[(triple2)] Bob is nice.[(triple3 OR ((triple2) -> rule8) OR ((triple5 triple1) -> rule6) OR ((triple5 ((triple2 triple4) -> rule5)) -> rule6))] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Bob is round.[(triple6 OR ((triple2 triple1) -> rule3) OR ((triple3 triple5) -> rule1) OR ((((triple3 triple5) -> rule4)) -> rule7) OR ((triple2 ((triple2 triple4) -> rule5)) -> rule3) OR ((((triple2) -> rule8) triple5) -> rule1) OR ((((triple5 triple1) -> rule6) triple5) -> rule1) OR ((((((triple2) -> rule8) triple5) -> rule4)) -> rule7) OR ((((((triple5 triple1) -> rule6) triple5) -> rule4)) -> rule7) OR ((((triple5 ((triple2 triple4) -> rule5)) -> rule6) triple5) -> rule1) OR ((((((triple5 ((triple2 triple4) -> rule5)) -> rule6) triple5) -> rule4)) -> rule7))] Charlie is furry.[(triple7)] Charlie is nice.[(triple8)] Erin is furry.[(triple9)] Erin is red.[(triple10)] Erin is round.[(triple11 OR ((((triple10 triple9) -> rule6) triple10) -> rule1) OR ((((triple12 triple10) -> rule2) triple10) -> rule1))] Erin is young.[(triple12 OR ((((triple10 triple9) -> rule6) triple10) -> rule4))] @1: Bob is young.[(((triple3 triple5) -> rule4) OR ((((triple2) -> rule8) triple5) -> rule4) OR ((((triple5 triple1) -> rule6) triple5) -> rule4) OR ((((triple5 ((triple2 triple4) -> rule5)) -> rule6) triple5) -> rule4))] Erin is nice.[(((triple10 triple9) -> rule6) OR ((triple12 triple10) -> rule2))]