Charlie is big. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is white. Fiona is big. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is white. Harry is big. Harry is nice. Harry is quiet. Harry is white. Kind people are white. If someone is nice then they are quiet. All nice, white people are kind.
Harry is big.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is kind.[(triple3 OR ((triple4 triple7) -> rule3))] Charlie is nice.[(triple4)] Charlie is quiet.[(triple5 OR ((triple4) -> rule2))] Charlie is red.[(triple6)] Charlie is white.[(triple7 OR ((triple3) -> rule1))] Fiona is big.[(triple8)] Fiona is furry.[(triple9)] Fiona is kind.[(triple10 OR ((triple11 triple12) -> rule3))] Fiona is nice.[(triple11)] Fiona is white.[(triple12 OR ((triple10) -> rule1))] Harry is big.[(triple13)] Harry is nice.[(triple14)] Harry is quiet.[(triple15 OR ((triple14) -> rule2))] Harry is white.[(triple16)] @1: Fiona is quiet.[(((triple11) -> rule2))] Harry is kind.[(((triple14 triple16) -> rule3))]