Bob is big. Bob is cold. Bob is furry. Bob is round. Bob is white. Charlie is kind. Dave is blue. Dave is white. Fiona is big. Fiona is furry. Fiona is round. Fiona is white. All kind people are blue. All big people are white. Round, kind people are blue. All big people are round. If someone is big and furry then they are cold. Cold, kind people are big.
Dave is not big.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple1 triple3) -> rule5))] Bob is furry.[(triple3)] Bob is round.[(triple4 OR ((triple1) -> rule4))] Bob is white.[(triple5 OR ((triple1) -> rule2))] Charlie is kind.[(triple6)] Dave is blue.[(triple7)] Dave is white.[(triple8)] Fiona is big.[(triple9)] Fiona is furry.[(triple10)] Fiona is round.[(triple11 OR ((triple9) -> rule4))] Fiona is white.[(triple12 OR ((triple9) -> rule2))] @1: Charlie is blue.[(((triple6) -> rule1))] Fiona is cold.[(((triple9 triple10) -> rule5))]