Anne is big. Anne is kind. Anne is red. Anne is rough. Anne is round. Anne is smart. Dave is big. Dave is cold. Dave is kind. Dave is red. Dave is round. Dave is smart. Fiona is big. Fiona is kind. Fiona is rough. Fiona is smart. If someone is cold and big then they are red. If someone is cold and kind then they are round. All rough, kind people are round. Cold, big people are round. If someone is smart then they are kind. Big people are kind.
Anne is smart.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2 OR ((triple1) -> rule6) OR ((triple6) -> rule5))] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5 OR ((triple4 triple2) -> rule3) OR ((triple4 ((triple1) -> rule6)) -> rule3) OR ((triple4 ((triple6) -> rule5)) -> rule3))] Anne is smart.[(triple6)] Dave is big.[(triple7)] Dave is cold.[(triple8)] Dave is kind.[(triple9 OR ((triple12) -> rule5) OR ((triple7) -> rule6))] Dave is red.[(triple10 OR ((triple8 triple7) -> rule1))] Dave is round.[(triple11 OR ((triple8 triple7) -> rule4) OR ((triple8 triple9) -> rule2) OR ((triple8 ((triple12) -> rule5)) -> rule2) OR ((triple8 ((triple7) -> rule6)) -> rule2))] Dave is smart.[(triple12)] Fiona is big.[(triple13)] Fiona is kind.[(triple14 OR ((triple13) -> rule6) OR ((triple16) -> rule5))] Fiona is rough.[(triple15)] Fiona is smart.[(triple16)] @1: Fiona is round.[(((triple15 triple14) -> rule3) OR ((triple15 ((triple13) -> rule6)) -> rule3) OR ((triple15 ((triple16) -> rule5)) -> rule3))]