Charlie is furry. Charlie is nice. Charlie is round. Charlie is smart. Charlie is young. Fiona is blue. Fiona is rough. Fiona is smart. Gary is blue. Gary is furry. Gary is nice. Gary is rough. Gary is round. Gary is smart. Gary is young. Rough, young people are blue. Nice people are rough. If Gary is blue then Gary is smart. All furry, smart people are round. If Fiona is blue then Fiona is round. If someone is young then they are blue. All round, nice people are smart. All nice, young people are furry.
Fiona is not furry.
@0: Charlie is furry.[(triple1 OR ((triple2 triple5) -> rule8))] Charlie is nice.[(triple2)] Charlie is round.[(triple3 OR ((triple1 triple4) -> rule4) OR ((((triple2 triple5) -> rule8) triple4) -> rule4))] Charlie is smart.[(triple4 OR ((triple3 triple2) -> rule7))] Charlie is young.[(triple5)] Fiona is blue.[(triple6)] Fiona is rough.[(triple7)] Fiona is smart.[(triple8)] Gary is blue.[(triple9 OR ((triple15) -> rule6) OR ((triple12 triple15) -> rule1) OR ((((triple11) -> rule2) triple15) -> rule1))] Gary is furry.[(triple10 OR ((triple11 triple15) -> rule8))] Gary is nice.[(triple11)] Gary is rough.[(triple12 OR ((triple11) -> rule2))] Gary is round.[(triple13 OR ((triple10 triple14) -> rule4) OR ((triple10 ((triple9) -> rule3)) -> rule4) OR ((((triple11 triple15) -> rule8) triple14) -> rule4) OR ((((triple11 triple15) -> rule8) ((triple9) -> rule3)) -> rule4) OR ((triple10 ((((triple15) -> rule6)) -> rule3)) -> rule4) OR ((triple10 ((((triple12 triple15) -> rule1)) -> rule3)) -> rule4) OR ((((triple11 triple15) -> rule8) ((((triple15) -> rule6)) -> rule3)) -> rule4) OR ((((triple11 triple15) -> rule8) ((((triple12 triple15) -> rule1)) -> rule3)) -> rule4) OR ((triple10 ((((((triple11) -> rule2) triple15) -> rule1)) -> rule3)) -> rule4) OR ((((triple11 triple15) -> rule8) ((((((triple11) -> rule2) triple15) -> rule1)) -> rule3)) -> rule4))] Gary is smart.[(triple14 OR ((triple9) -> rule3) OR ((triple13 triple11) -> rule7) OR ((((triple15) -> rule6)) -> rule3) OR ((((triple12 triple15) -> rule1)) -> rule3) OR ((((((triple11) -> rule2) triple15) -> rule1)) -> rule3))] Gary is young.[(triple15)] @1: Charlie is blue.[(((triple5) -> rule6) OR ((((triple2) -> rule2) triple5) -> rule1))] Charlie is rough.[(((triple2) -> rule2))] Fiona is round.[(((triple6) -> rule5))]