Charlie is big. Charlie is furry. Charlie is red. Charlie is white. Charlie is young. Erin is nice. Erin is rough. Fiona is furry. Fiona is nice. Fiona is red. Fiona is white. Fiona is young. Harry is furry. Harry is red. All furry people are young. Rough, white people are young. If Harry is furry then Harry is rough. All red people are rough. If someone is young and furry then they are white. If someone is rough then they are white. Young, nice people are red. All red people are furry. If someone is furry then they are big.
Erin is furry.
@0: Charlie is big.[(triple1 OR ((triple2) -> rule9) OR ((((triple3) -> rule8)) -> rule9))] Charlie is furry.[(triple2 OR ((triple3) -> rule8))] Charlie is red.[(triple3)] Charlie is white.[(triple4 OR ((triple5 triple2) -> rule5) OR ((((triple3) -> rule4)) -> rule6) OR ((triple5 ((triple3) -> rule8)) -> rule5) OR ((((triple2) -> rule1) triple2) -> rule5) OR ((((triple2) -> rule1) ((triple3) -> rule8)) -> rule5) OR ((((((triple3) -> rule8)) -> rule1) triple2) -> rule5) OR ((((((triple3) -> rule8)) -> rule1) ((triple3) -> rule8)) -> rule5))] Charlie is young.[(triple5 OR ((triple2) -> rule1) OR ((((triple3) -> rule8)) -> rule1) OR ((((triple3) -> rule4) triple4) -> rule2) OR ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule6)) -> rule2))] Erin is nice.[(triple6)] Erin is rough.[(triple7)] Fiona is furry.[(triple8 OR ((triple10) -> rule8) OR ((((triple12 triple9) -> rule7)) -> rule8))] Fiona is nice.[(triple9)] Fiona is red.[(triple10 OR ((triple12 triple9) -> rule7) OR ((((triple8) -> rule1) triple9) -> rule7))] Fiona is white.[(triple11 OR ((triple12 triple8) -> rule5) OR ((((triple10) -> rule4)) -> rule6) OR ((triple12 ((triple10) -> rule8)) -> rule5) OR ((((triple8) -> rule1) triple8) -> rule5) OR ((((triple8) -> rule1) ((triple10) -> rule8)) -> rule5) OR ((((((triple12 triple9) -> rule7)) -> rule4)) -> rule6) OR ((triple12 ((((triple12 triple9) -> rule7)) -> rule8)) -> rule5) OR ((((((triple10) -> rule8)) -> rule1) triple8) -> rule5) OR ((((triple8) -> rule1) ((((triple12 triple9) -> rule7)) -> rule8)) -> rule5) OR ((((((triple10) -> rule8)) -> rule1) ((triple10) -> rule8)) -> rule5) OR ((((((triple10) -> rule8)) -> rule1) ((((triple12 triple9) -> rule7)) -> rule8)) -> rule5) OR ((((((((triple8) -> rule1) triple9) -> rule7)) -> rule4)) -> rule6))] Fiona is young.[(triple12 OR ((triple8) -> rule1) OR ((((triple10) -> rule8)) -> rule1) OR ((((triple10) -> rule4) triple11) -> rule2) OR ((((triple10) -> rule4) ((((triple10) -> rule4)) -> rule6)) -> rule2))] Harry is furry.[(triple13 OR ((triple14) -> rule8))] Harry is red.[(triple14)] @1: Charlie is rough.[(((triple3) -> rule4))] Erin is white.[(((triple7) -> rule6))] Fiona is big.[(((triple8) -> rule9) OR ((((triple10) -> rule8)) -> rule9) OR ((((((triple12 triple9) -> rule7)) -> rule8)) -> rule9))] Fiona is rough.[(((triple10) -> rule4) OR ((((triple12 triple9) -> rule7)) -> rule4) OR ((((((triple8) -> rule1) triple9) -> rule7)) -> rule4))] Harry is big.[(((triple13) -> rule9) OR ((((triple14) -> rule8)) -> rule9))] Harry is rough.[(((triple13) -> rule3) OR ((triple14) -> rule4) OR ((((triple14) -> rule8)) -> rule3))] Harry is young.[(((triple13) -> rule1) OR ((((triple14) -> rule8)) -> rule1) OR ((((triple13) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule2) OR ((((triple13) -> rule3) ((((triple14) -> rule4)) -> rule6)) -> rule2) OR ((((triple14) -> rule4) ((((triple13) -> rule3)) -> rule6)) -> rule2) OR ((((triple14) -> rule4) ((((triple14) -> rule4)) -> rule6)) -> rule2) OR ((((((triple14) -> rule8)) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule2) OR ((((((triple14) -> rule8)) -> rule3) ((((triple14) -> rule4)) -> rule6)) -> rule2) OR ((((triple13) -> rule3) ((((((triple14) -> rule8)) -> rule3)) -> rule6)) -> rule2) OR ((((triple14) -> rule4) ((((((triple14) -> rule8)) -> rule3)) -> rule6)) -> rule2) OR ((((((triple14) -> rule8)) -> rule3) ((((((triple14) -> rule8)) -> rule3)) -> rule6)) -> rule2))] @2: Erin is young.[(((triple7 ((triple7) -> rule6)) -> rule2))] Harry is white.[(((((triple13) -> rule3)) -> rule6) OR ((((triple14) -> rule4)) -> rule6) OR ((((triple13) -> rule1) triple13) -> rule5) OR ((((triple13) -> rule1) ((triple14) -> rule8)) -> rule5) OR ((((((triple14) -> rule8)) -> rule3)) -> rule6) OR ((((((triple14) -> rule8)) -> rule1) triple13) -> rule5) OR ((((((triple14) -> rule8)) -> rule1) ((triple14) -> rule8)) -> rule5))] @3: Erin is red.[(((((triple7 ((triple7) -> rule6)) -> rule2) triple6) -> rule7))] @4: Erin is furry.[(((((((triple7 ((triple7) -> rule6)) -> rule2) triple6) -> rule7)) -> rule8))] @5: Erin is big.[(((((((((triple7 ((triple7) -> rule6)) -> rule2) triple6) -> rule7)) -> rule8)) -> rule9))]