Charlie is furry. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is smart. Fiona is big. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is smart. Gary is nice. Gary is quiet. If Gary is quiet then Gary is red. Smart, red people are furry. All furry people are smart. All furry people are smart. If someone is red then they are smart. All furry people are red. All quiet, red people are nice. If Charlie is big then Charlie is red.
Gary is red.
@0: Charlie is furry.[(triple1 OR ((triple6 triple5) -> rule2) OR ((((triple5) -> rule5) triple5) -> rule2))] Charlie is kind.[(triple2)] Charlie is nice.[(triple3 OR ((triple4 triple5) -> rule7) OR ((triple4 ((triple1) -> rule6)) -> rule7))] Charlie is quiet.[(triple4)] Charlie is red.[(triple5 OR ((triple1) -> rule6))] Charlie is smart.[(triple6 OR ((triple1) -> rule3) OR ((triple1) -> rule4) OR ((triple5) -> rule5) OR ((((triple1) -> rule6)) -> rule5))] Fiona is big.[(triple7)] Fiona is furry.[(triple8 OR ((triple13 triple12) -> rule2) OR ((((triple12) -> rule5) triple12) -> rule2))] Fiona is kind.[(triple9)] Fiona is nice.[(triple10 OR ((triple11 triple12) -> rule7) OR ((triple11 ((triple8) -> rule6)) -> rule7))] Fiona is quiet.[(triple11)] Fiona is red.[(triple12 OR ((triple8) -> rule6))] Fiona is smart.[(triple13 OR ((triple12) -> rule5) OR ((triple8) -> rule3) OR ((triple8) -> rule4) OR ((((triple8) -> rule6)) -> rule5))] Gary is nice.[(triple14 OR ((triple15 ((triple15) -> rule1)) -> rule7))] Gary is quiet.[(triple15)] @1: Gary is red.[(((triple15) -> rule1))] @2: Gary is smart.[(((((triple15) -> rule1)) -> rule5))] @3: Gary is furry.[(((((((triple15) -> rule1)) -> rule5) ((triple15) -> rule1)) -> rule2))]