Bob is smart. Charlie is quiet. Charlie is smart. Charlie is young. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is smart. Gary is cold. If Bob is quiet and Bob is red then Bob is furry. If Bob is red and Bob is kind then Bob is smart. Red people are smart. Smart, cold people are red. If someone is smart and red then they are quiet. Cold people are quiet. If someone is quiet then they are young. If Bob is kind and Bob is quiet then Bob is smart.
Charlie is not quiet.
@0: Bob is smart.[(triple1)] Charlie is quiet.[(triple2)] Charlie is smart.[(triple3)] Charlie is young.[(triple4 OR ((triple2) -> rule7))] Fiona is cold.[(triple5)] Fiona is kind.[(triple6)] Fiona is quiet.[(triple7 OR ((triple5) -> rule6) OR ((triple9 triple8) -> rule5) OR ((triple9 ((triple9 triple5) -> rule4)) -> rule5) OR ((((triple8) -> rule3) triple8) -> rule5) OR ((((triple8) -> rule3) ((triple9 triple5) -> rule4)) -> rule5))] Fiona is red.[(triple8 OR ((triple9 triple5) -> rule4))] Fiona is smart.[(triple9 OR ((triple8) -> rule3))] Gary is cold.[(triple10)] @1: Fiona is young.[(((triple7) -> rule7) OR ((((triple5) -> rule6)) -> rule7) OR ((((triple9 triple8) -> rule5)) -> rule7) OR ((((triple9 ((triple9 triple5) -> rule4)) -> rule5)) -> rule7) OR ((((((triple8) -> rule3) triple8) -> rule5)) -> rule7) OR ((((((triple8) -> rule3) ((triple9 triple5) -> rule4)) -> rule5)) -> rule7))] Gary is quiet.[(((triple10) -> rule6))] @2: Gary is young.[(((((triple10) -> rule6)) -> rule7))]