Erin is blue. Erin is not furry. Erin is green. Erin is kind. Erin is nice. Erin is red. Erin is round. Fiona is blue. Fiona is furry. Fiona is green. Fiona is kind. Fiona is nice. Fiona is red. Fiona is round. All red people are round. If someone is round and not nice then they are red. If someone is round and not red then they are kind. If someone is blue and not red then they are not green. All kind people are blue. If someone is furry then they are blue.
Erin is blue.
@0: Erin is blue.[(triple1 OR ((triple4) -> rule5))] Erin is green.[(triple3)] Erin is kind.[(triple4)] Erin is nice.[(triple5)] Erin is not furry.[(triple2)] Erin is red.[(triple6)] Erin is round.[(triple7 OR ((triple6) -> rule1))] Fiona is blue.[(triple8 OR ((triple11) -> rule5) OR ((triple9) -> rule6))] Fiona is furry.[(triple9)] Fiona is green.[(triple10)] Fiona is kind.[(triple11)] Fiona is nice.[(triple12)] Fiona is red.[(triple13)] Fiona is round.[(triple14 OR ((triple13) -> rule1))]