Anne is smart. Anne is white. Charlie is furry. Charlie is round. Charlie is smart. Charlie is white. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is smart. Fiona is white. Harry is furry. Harry is kind. Harry is quiet. Harry is white. Furry, smart people are kind. Quiet, white people are furry. If someone is smart then they are white. If someone is furry then they are white. If Fiona is kind and Fiona is furry then Fiona is big. Smart people are furry.
Anne is round.
@0: Anne is smart.[(triple1)] Anne is white.[(triple2 OR ((triple1) -> rule3) OR ((((triple1) -> rule6)) -> rule4))] Charlie is furry.[(triple3 OR ((triple5) -> rule6))] Charlie is round.[(triple4)] Charlie is smart.[(triple5)] Charlie is white.[(triple6 OR ((triple3) -> rule4) OR ((triple5) -> rule3) OR ((((triple5) -> rule6)) -> rule4))] Fiona is furry.[(triple7 OR ((triple10) -> rule6) OR ((triple9 triple11) -> rule2) OR ((triple9 ((triple10) -> rule3)) -> rule2))] Fiona is kind.[(triple8 OR ((triple7 triple10) -> rule1) OR ((((triple10) -> rule6) triple10) -> rule1) OR ((((triple9 triple11) -> rule2) triple10) -> rule1) OR ((((triple9 ((triple10) -> rule3)) -> rule2) triple10) -> rule1))] Fiona is quiet.[(triple9)] Fiona is smart.[(triple10)] Fiona is white.[(triple11 OR ((triple10) -> rule3) OR ((triple7) -> rule4) OR ((((triple10) -> rule6)) -> rule4))] Harry is furry.[(triple12 OR ((triple14 triple15) -> rule2))] Harry is kind.[(triple13)] Harry is quiet.[(triple14)] Harry is white.[(triple15 OR ((triple12) -> rule4))] @1: Anne is furry.[(((triple1) -> rule6))] Charlie is kind.[(((triple3 triple5) -> rule1) OR ((((triple5) -> rule6) triple5) -> rule1))] Fiona is big.[(((triple8 triple7) -> rule5) OR ((triple8 ((triple10) -> rule6)) -> rule5) OR ((triple8 ((triple9 triple11) -> rule2)) -> rule5) OR ((((triple7 triple10) -> rule1) triple7) -> rule5) OR ((((triple7 triple10) -> rule1) ((triple10) -> rule6)) -> rule5) OR ((((triple7 triple10) -> rule1) ((triple9 triple11) -> rule2)) -> rule5) OR ((triple8 ((triple9 ((triple10) -> rule3)) -> rule2)) -> rule5) OR ((((((triple10) -> rule6) triple10) -> rule1) triple7) -> rule5) OR ((((((triple9 triple11) -> rule2) triple10) -> rule1) triple7) -> rule5) OR ((((triple7 triple10) -> rule1) ((triple9 ((triple10) -> rule3)) -> rule2)) -> rule5) OR ((((((triple10) -> rule6) triple10) -> rule1) ((triple10) -> rule6)) -> rule5) OR ((((((triple10) -> rule6) triple10) -> rule1) ((triple9 triple11) -> rule2)) -> rule5) OR ((((((triple9 triple11) -> rule2) triple10) -> rule1) ((triple10) -> rule6)) -> rule5) OR ((((((triple9 triple11) -> rule2) triple10) -> rule1) ((triple9 triple11) -> rule2)) -> rule5) OR ((((((triple10) -> rule6) triple10) -> rule1) ((triple9 ((triple10) -> rule3)) -> rule2)) -> rule5) OR ((((((triple9 triple11) -> rule2) triple10) -> rule1) ((triple9 ((triple10) -> rule3)) -> rule2)) -> rule5) OR ((((((triple9 ((triple10) -> rule3)) -> rule2) triple10) -> rule1) triple7) -> rule5) OR ((((((triple9 ((triple10) -> rule3)) -> rule2) triple10) -> rule1) ((triple10) -> rule6)) -> rule5) OR ((((((triple9 ((triple10) -> rule3)) -> rule2) triple10) -> rule1) ((triple9 triple11) -> rule2)) -> rule5) OR ((((((triple9 ((triple10) -> rule3)) -> rule2) triple10) -> rule1) ((triple9 ((triple10) -> rule3)) -> rule2)) -> rule5))] @2: Anne is kind.[(((((triple1) -> rule6) triple1) -> rule1))]