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