Anne is furry. Anne is red. Anne is smart. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Fiona is red. Fiona is rough. Blue, rough people are furry. If Fiona is red and Fiona is furry then Fiona is blue.
Charlie is round.
@0: Anne is furry.[(triple1)] Anne is red.[(triple2)] Anne is smart.[(triple3)] Charlie is blue.[(triple4)] Charlie is cold.[(triple5)] Charlie is furry.[(triple6 OR ((triple4 triple8) -> rule1))] Charlie is red.[(triple7)] Charlie is rough.[(triple8)] Charlie is round.[(triple9)] Charlie is smart.[(triple10)] Fiona is red.[(triple11)] Fiona is rough.[(triple12)]