Anne is blue. Anne is kind. Charlie is not kind. Dave is kind. Dave is nice. Dave is round. Dave is smart. Fiona is big. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is smart. If someone is big and blue then they are green. Nice people are kind. All big, green people are kind. All round people are kind. If someone is round then they are nice. If someone is kind then they are nice. Kind, big people are round. If someone is kind and not round then they are smart.
Charlie is kind.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Charlie is not kind.[(triple3)] Dave is kind.[(triple4 OR ((triple5) -> rule2) OR ((triple6) -> rule4) OR ((((triple6) -> rule5)) -> rule2))] Dave is nice.[(triple5 OR ((triple4) -> rule6) OR ((triple6) -> rule5) OR ((((triple6) -> rule4)) -> rule6))] Dave is round.[(triple6)] Dave is smart.[(triple7)] Fiona is big.[(triple8)] Fiona is blue.[(triple9)] Fiona is kind.[(triple10 OR ((triple11) -> rule2) OR ((triple8 ((triple8 triple9) -> rule1)) -> rule3))] Fiona is nice.[(triple11 OR ((triple10) -> rule6) OR ((((triple10 triple8) -> rule7)) -> rule5) OR ((((triple8 ((triple8 triple9) -> rule1)) -> rule3)) -> rule6) OR ((((((triple8 ((triple8 triple9) -> rule1)) -> rule3) triple8) -> rule7)) -> rule5))] Fiona is smart.[(triple12)] @1: Anne is nice.[(((triple2) -> rule6))] Fiona is green.[(((triple8 triple9) -> rule1))] Fiona is round.[(((triple10 triple8) -> rule7) OR ((((triple11) -> rule2) triple8) -> rule7) OR ((((triple8 ((triple8 triple9) -> rule1)) -> rule3) triple8) -> rule7))]