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