Charlie is furry. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is round. Charlie is white. Charlie is young. Dave is round. Dave is young. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is white. Fiona is young. White things are kind. All young things are white. Furry, round things are nice. Kind, white things are quiet. Kind things are nice. If something is white then it is furry. All round, white things are nice. All young, furry things are nice.
Dave is nice.
@0: Charlie is furry.[(triple1 OR ((triple6) -> rule6) OR ((((triple7) -> rule2)) -> rule6))] Charlie is kind.[(triple2 OR ((triple6) -> rule1) OR ((((triple7) -> rule2)) -> rule1))] Charlie is nice.[(triple3 OR ((triple2) -> rule5) OR ((triple1 triple5) -> rule3) OR ((triple5 triple6) -> rule7) OR ((triple7 triple1) -> rule8) OR ((((triple6) -> rule1)) -> rule5) OR ((triple5 ((triple7) -> rule2)) -> rule7) OR ((triple7 ((triple6) -> rule6)) -> rule8) OR ((((triple6) -> rule6) triple5) -> rule3) OR ((((((triple7) -> rule2)) -> rule1)) -> rule5) OR ((triple7 ((((triple7) -> rule2)) -> rule6)) -> rule8) OR ((((((triple7) -> rule2)) -> rule6) triple5) -> rule3))] Charlie is quiet.[(triple4 OR ((triple2 triple6) -> rule4) OR ((triple2 ((triple7) -> rule2)) -> rule4) OR ((((triple6) -> rule1) triple6) -> rule4) OR ((((triple6) -> rule1) ((triple7) -> rule2)) -> rule4) OR ((((((triple7) -> rule2)) -> rule1) triple6) -> rule4) OR ((((((triple7) -> rule2)) -> rule1) ((triple7) -> rule2)) -> rule4))] Charlie is round.[(triple5)] Charlie is white.[(triple6 OR ((triple7) -> rule2))] Charlie is young.[(triple7)] Dave is round.[(triple8)] Dave is young.[(triple9)] Fiona is furry.[(triple10 OR ((triple14) -> rule6) OR ((((triple15) -> rule2)) -> rule6))] Fiona is nice.[(triple11 OR ((triple10 triple13) -> rule3) OR ((triple13 triple14) -> rule7) OR ((triple15 triple10) -> rule8) OR ((((triple14) -> rule1)) -> rule5) OR ((triple13 ((triple15) -> rule2)) -> rule7) OR ((triple15 ((triple14) -> rule6)) -> rule8) OR ((((triple14) -> rule6) triple13) -> rule3) OR ((((((triple15) -> rule2)) -> rule1)) -> rule5) OR ((triple15 ((((triple15) -> rule2)) -> rule6)) -> rule8) OR ((((((triple15) -> rule2)) -> rule6) triple13) -> rule3))] Fiona is quiet.[(triple12 OR ((((triple14) -> rule1) triple14) -> rule4) OR ((((triple14) -> rule1) ((triple15) -> rule2)) -> rule4) OR ((((((triple15) -> rule2)) -> rule1) triple14) -> rule4) OR ((((((triple15) -> rule2)) -> rule1) ((triple15) -> rule2)) -> rule4))] Fiona is round.[(triple13)] Fiona is white.[(triple14 OR ((triple15) -> rule2))] Fiona is young.[(triple15)] @1: Dave is white.[(((triple9) -> rule2))] Fiona is kind.[(((triple14) -> rule1) OR ((((triple15) -> rule2)) -> rule1))] @2: Dave is furry.[(((((triple9) -> rule2)) -> rule6))] Dave is kind.[(((((triple9) -> rule2)) -> rule1))] Dave is nice.[(((triple8 ((triple9) -> rule2)) -> rule7) OR ((((((triple9) -> rule2)) -> rule1)) -> rule5) OR ((triple9 ((((triple9) -> rule2)) -> rule6)) -> rule8) OR ((((((triple9) -> rule2)) -> rule6) triple8) -> rule3))] @3: Dave is quiet.[(((((((triple9) -> rule2)) -> rule1) ((triple9) -> rule2)) -> rule4))]