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