Charlie is big. Charlie is blue. Charlie is furry. Charlie is nice. Charlie is round. Charlie is smart. Charlie is white. Dave is big. Dave is blue. Dave is round. Fiona is big. Harry is big. All big people are smart. If Harry is blue then Harry is white. All big, nice people are white. All furry people are smart. If someone is smart then they are round. If someone is furry then they are big. All smart, nice people are white. Smart people are nice.
Fiona is not furry.
@0: Charlie is big.[(triple1 OR ((triple3) -> rule6))] Charlie is blue.[(triple2)] Charlie is furry.[(triple3)] Charlie is nice.[(triple4 OR ((triple6) -> rule8) OR ((((triple1) -> rule1)) -> rule8) OR ((((triple3) -> rule4)) -> rule8) OR ((((((triple3) -> rule6)) -> rule1)) -> rule8))] Charlie is round.[(triple5 OR ((triple6) -> rule5) OR ((((triple1) -> rule1)) -> rule5) OR ((((triple3) -> rule4)) -> rule5) OR ((((((triple3) -> rule6)) -> rule1)) -> rule5))] Charlie is smart.[(triple6 OR ((triple1) -> rule1) OR ((triple3) -> rule4) OR ((((triple3) -> rule6)) -> rule1))] Charlie is white.[(triple7 OR ((triple1 triple4) -> rule3) OR ((triple6 triple4) -> rule7) OR ((triple1 ((triple6) -> rule8)) -> rule3) OR ((triple6 ((triple6) -> rule8)) -> rule7) OR ((((triple1) -> rule1) triple4) -> rule7) OR ((((triple3) -> rule4) triple4) -> rule7) OR ((((triple3) -> rule6) triple4) -> rule3) OR ((((triple1) -> rule1) ((triple6) -> rule8)) -> rule7) OR ((((triple3) -> rule4) ((triple6) -> rule8)) -> rule7) OR ((((triple3) -> rule6) ((triple6) -> rule8)) -> rule3) OR ((triple1 ((((triple1) -> rule1)) -> rule8)) -> rule3) OR ((triple1 ((((triple3) -> rule4)) -> rule8)) -> rule3) OR ((triple6 ((((triple1) -> rule1)) -> rule8)) -> rule7) OR ((triple6 ((((triple3) -> rule4)) -> rule8)) -> rule7) OR ((((((triple3) -> rule6)) -> rule1) triple4) -> rule7) OR ((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule8)) -> rule7) OR ((((triple1) -> rule1) ((((triple3) -> rule4)) -> rule8)) -> rule7) OR ((((triple3) -> rule4) ((((triple1) -> rule1)) -> rule8)) -> rule7) OR ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule8)) -> rule7) OR ((((triple3) -> rule6) ((((triple1) -> rule1)) -> rule8)) -> rule3) OR ((((triple3) -> rule6) ((((triple3) -> rule4)) -> rule8)) -> rule3) OR ((((((triple3) -> rule6)) -> rule1) ((triple6) -> rule8)) -> rule7) OR ((((((triple3) -> rule6)) -> rule1) ((((triple1) -> rule1)) -> rule8)) -> rule7) OR ((((((triple3) -> rule6)) -> rule1) ((((triple3) -> rule4)) -> rule8)) -> rule7) OR ((triple1 ((((((triple3) -> rule6)) -> rule1)) -> rule8)) -> rule3) OR ((triple6 ((((((triple3) -> rule6)) -> rule1)) -> rule8)) -> rule7) OR ((((triple1) -> rule1) ((((((triple3) -> rule6)) -> rule1)) -> rule8)) -> rule7) OR ((((triple3) -> rule4) ((((((triple3) -> rule6)) -> rule1)) -> rule8)) -> rule7) OR ((((triple3) -> rule6) ((((((triple3) -> rule6)) -> rule1)) -> rule8)) -> rule3) OR ((((((triple3) -> rule6)) -> rule1) ((((((triple3) -> rule6)) -> rule1)) -> rule8)) -> rule7))] Dave is big.[(triple8)] Dave is blue.[(triple9)] Dave is round.[(triple10 OR ((((triple8) -> rule1)) -> rule5))] Fiona is big.[(triple11)] Harry is big.[(triple12)] @1: Dave is smart.[(((triple8) -> rule1))] Fiona is smart.[(((triple11) -> rule1))] Harry is smart.[(((triple12) -> rule1))] @2: Dave is nice.[(((((triple8) -> rule1)) -> rule8))] Fiona is nice.[(((((triple11) -> rule1)) -> rule8))] Fiona is round.[(((((triple11) -> rule1)) -> rule5))] Harry is nice.[(((((triple12) -> rule1)) -> rule8))] Harry is round.[(((((triple12) -> rule1)) -> rule5))] @3: Dave is white.[(((triple8 ((((triple8) -> rule1)) -> rule8)) -> rule3) OR ((((triple8) -> rule1) ((((triple8) -> rule1)) -> rule8)) -> rule7))] Fiona is white.[(((triple11 ((((triple11) -> rule1)) -> rule8)) -> rule3) OR ((((triple11) -> rule1) ((((triple11) -> rule1)) -> rule8)) -> rule7))] Harry is white.[(((triple12 ((((triple12) -> rule1)) -> rule8)) -> rule3) OR ((((triple12) -> rule1) ((((triple12) -> rule1)) -> rule8)) -> rule7))]