Bob is big. Charlie is furry. Charlie is kind. Charlie is smart. Fiona is furry. Fiona is young. Gary is smart. Big, smart things are kind. If something is red and not smart then it is kind. Smart things are furry. If something is red and big then it is furry. If Charlie is red then Charlie is kind. If something is kind then it is young. Young things are not red. If something is furry and smart then it is big.
Gary is not furry.
@0: Bob is big.[(triple1)] Charlie is furry.[(triple2 OR ((triple4) -> rule3))] Charlie is kind.[(triple3 OR ((((triple2 triple4) -> rule8) triple4) -> rule1) OR ((((((triple4) -> rule3) triple4) -> rule8) triple4) -> rule1))] Charlie is smart.[(triple4)] Fiona is furry.[(triple5)] Fiona is young.[(triple6)] Gary is smart.[(triple7)] @1: Charlie is big.[(((triple2 triple4) -> rule8) OR ((((triple4) -> rule3) triple4) -> rule8))] Charlie is young.[(((triple3) -> rule6) OR ((((((triple2 triple4) -> rule8) triple4) -> rule1)) -> rule6) OR ((((((((triple4) -> rule3) triple4) -> rule8) triple4) -> rule1)) -> rule6))] Fiona is not red.[(((triple6) -> rule7))] Gary is furry.[(((triple7) -> rule3))] @2: Charlie is not red.[(((((triple3) -> rule6)) -> rule7) OR ((((((((triple2 triple4) -> rule8) triple4) -> rule1)) -> rule6)) -> rule7) OR ((((((((((triple4) -> rule3) triple4) -> rule8) triple4) -> rule1)) -> rule6)) -> rule7))] Gary is big.[(((((triple7) -> rule3) triple7) -> rule8))] @3: Gary is kind.[(((((((triple7) -> rule3) triple7) -> rule8) triple7) -> rule1))] @4: Gary is young.[(((((((((triple7) -> rule3) triple7) -> rule8) triple7) -> rule1)) -> rule6))] @5: Gary is not red.[(((((((((((triple7) -> rule3) triple7) -> rule8) triple7) -> rule1)) -> rule6)) -> rule7))]