Erin is furry. Erin is quiet. Erin is round. Erin is smart. Erin is young. Fiona is furry. Fiona is green. Fiona is red. Fiona is round. Fiona is smart. Fiona is young. Harry is green. Harry is quiet. Harry is smart. Harry is young. If someone is round then they are smart. If someone is green and young then they are red. All round, young people are furry. All round people are young. Round, smart people are young. If Harry is green and Harry is smart then Harry is quiet. Smart people are red. All red, young people are round.
Harry is red.
@0: Erin is furry.[(triple1 OR ((triple3 triple5) -> rule3) OR ((triple3 ((triple3) -> rule4)) -> rule3) OR ((triple3 ((triple3 triple4) -> rule5)) -> rule3) OR ((triple3 ((triple3 ((triple3) -> rule1)) -> rule5)) -> rule3) OR ((((((triple4) -> rule7) triple5) -> rule8) triple5) -> rule3) OR ((((((triple4) -> rule7) triple5) -> rule8) ((triple3) -> rule4)) -> rule3) OR ((((((triple4) -> rule7) triple5) -> rule8) ((triple3 triple4) -> rule5)) -> rule3) OR ((((((triple4) -> rule7) triple5) -> rule8) ((triple3 ((triple3) -> rule1)) -> rule5)) -> rule3))] Erin is quiet.[(triple2)] Erin is round.[(triple3 OR ((((triple4) -> rule7) triple5) -> rule8))] Erin is smart.[(triple4 OR ((triple3) -> rule1))] Erin is young.[(triple5 OR ((triple3) -> rule4) OR ((triple3 triple4) -> rule5) OR ((triple3 ((triple3) -> rule1)) -> rule5))] Fiona is furry.[(triple6 OR ((triple9 triple11) -> rule3) OR ((triple9 ((triple9) -> rule4)) -> rule3) OR ((triple9 ((triple9 triple10) -> rule5)) -> rule3) OR ((((triple8 triple11) -> rule8) triple11) -> rule3) OR ((((triple8 triple11) -> rule8) ((triple9) -> rule4)) -> rule3) OR ((((triple8 triple11) -> rule8) ((triple9 triple10) -> rule5)) -> rule3) OR ((triple9 ((triple9 ((triple9) -> rule1)) -> rule5)) -> rule3) OR ((((((triple10) -> rule7) triple11) -> rule8) triple11) -> rule3) OR ((((((triple7 triple11) -> rule2) triple11) -> rule8) triple11) -> rule3) OR ((((triple8 triple11) -> rule8) ((triple9 ((triple9) -> rule1)) -> rule5)) -> rule3) OR ((((((triple10) -> rule7) triple11) -> rule8) ((triple9) -> rule4)) -> rule3) OR ((((((triple10) -> rule7) triple11) -> rule8) ((triple9 triple10) -> rule5)) -> rule3) OR ((((((triple7 triple11) -> rule2) triple11) -> rule8) ((triple9) -> rule4)) -> rule3) OR ((((((triple7 triple11) -> rule2) triple11) -> rule8) ((triple9 triple10) -> rule5)) -> rule3) OR ((((((triple10) -> rule7) triple11) -> rule8) ((triple9 ((triple9) -> rule1)) -> rule5)) -> rule3) OR ((((((triple7 triple11) -> rule2) triple11) -> rule8) ((triple9 ((triple9) -> rule1)) -> rule5)) -> rule3))] Fiona is green.[(triple7)] Fiona is red.[(triple8 OR ((triple10) -> rule7) OR ((triple7 triple11) -> rule2) OR ((((triple9) -> rule1)) -> rule7) OR ((triple7 ((triple9) -> rule4)) -> rule2) OR ((triple7 ((triple9 triple10) -> rule5)) -> rule2) OR ((triple7 ((triple9 ((triple9) -> rule1)) -> rule5)) -> rule2))] Fiona is round.[(triple9 OR ((triple8 triple11) -> rule8) OR ((((triple10) -> rule7) triple11) -> rule8) OR ((((triple7 triple11) -> rule2) triple11) -> rule8))] Fiona is smart.[(triple10 OR ((triple9) -> rule1) OR ((((triple8 triple11) -> rule8)) -> rule1) OR ((((((triple7 triple11) -> rule2) triple11) -> rule8)) -> rule1))] Fiona is young.[(triple11 OR ((triple9) -> rule4) OR ((triple9 triple10) -> rule5) OR ((triple9 ((triple9) -> rule1)) -> rule5))] Harry is green.[(triple12)] Harry is quiet.[(triple13 OR ((triple12 triple14) -> rule6) OR ((triple12 ((((((triple12 triple15) -> rule2) triple15) -> rule8)) -> rule1)) -> rule6))] Harry is smart.[(triple14 OR ((((((triple12 triple15) -> rule2) triple15) -> rule8)) -> rule1))] Harry is young.[(triple15)] @1: Erin is red.[(((triple4) -> rule7) OR ((((triple3) -> rule1)) -> rule7))] Harry is red.[(((triple14) -> rule7) OR ((triple12 triple15) -> rule2))] @2: Harry is round.[(((((triple14) -> rule7) triple15) -> rule8) OR ((((triple12 triple15) -> rule2) triple15) -> rule8))] @3: Harry is furry.[(((((((triple14) -> rule7) triple15) -> rule8) triple15) -> rule3) OR ((((((triple12 triple15) -> rule2) triple15) -> rule8) triple15) -> rule3))]