Bob is furry. Charlie is furry. Charlie is green. Charlie is round. Fiona is furry. Fiona is green. Fiona is nice. Fiona is round. Fiona is young. Harry is green. Harry is quiet. Harry is round. All furry people are young. If someone is furry and rough then they are round. Green, young people are furry. Rough people are round. Green, rough people are quiet. All young people are rough. If someone is rough then they are furry. Quiet people are rough.
Fiona is not quiet.
@0: Bob is furry.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is round.[(triple4 OR ((((((triple2) -> rule1)) -> rule6)) -> rule4) OR ((triple2 ((((triple2) -> rule1)) -> rule6)) -> rule2))] Fiona is furry.[(triple5 OR ((triple6 triple9) -> rule3) OR ((((triple9) -> rule6)) -> rule7))] Fiona is green.[(triple6)] Fiona is nice.[(triple7)] Fiona is round.[(triple8 OR ((((triple9) -> rule6)) -> rule4) OR ((triple5 ((triple9) -> rule6)) -> rule2) OR ((((triple6 triple9) -> rule3) ((triple9) -> rule6)) -> rule2) OR ((((((triple5) -> rule1)) -> rule6)) -> rule4) OR ((triple5 ((((triple5) -> rule1)) -> rule6)) -> rule2) OR ((((((triple9) -> rule6)) -> rule7) ((triple9) -> rule6)) -> rule2) OR ((((triple6 triple9) -> rule3) ((((triple5) -> rule1)) -> rule6)) -> rule2) OR ((((((triple9) -> rule6)) -> rule7) ((((triple5) -> rule1)) -> rule6)) -> rule2))] Fiona is young.[(triple9 OR ((triple5) -> rule1))] Harry is green.[(triple10)] Harry is quiet.[(triple11)] Harry is round.[(triple12 OR ((((triple11) -> rule8)) -> rule4) OR ((((((triple11) -> rule8)) -> rule7) ((triple11) -> rule8)) -> rule2))] @1: Bob is young.[(((triple1) -> rule1))] Charlie is young.[(((triple2) -> rule1))] Fiona is rough.[(((triple9) -> rule6) OR ((((triple5) -> rule1)) -> rule6))] Harry is rough.[(((triple11) -> rule8))] @2: Bob is rough.[(((((triple1) -> rule1)) -> rule6))] Charlie is rough.[(((((triple2) -> rule1)) -> rule6))] Fiona is quiet.[(((triple6 ((triple9) -> rule6)) -> rule5) OR ((triple6 ((((triple5) -> rule1)) -> rule6)) -> rule5))] Harry is furry.[(((((triple11) -> rule8)) -> rule7))] @3: Bob is round.[(((((((triple1) -> rule1)) -> rule6)) -> rule4) OR ((triple1 ((((triple1) -> rule1)) -> rule6)) -> rule2))] Charlie is quiet.[(((triple3 ((((triple2) -> rule1)) -> rule6)) -> rule5))] Harry is young.[(((((((triple11) -> rule8)) -> rule7)) -> rule1))]