Bob is kind. Bob is smart. Charlie is furry. Charlie is kind. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is not quiet. Gary is big. Gary is kind. Big people are furry. If someone is kind then they are furry. If someone is smart and quiet then they are cold. If someone is furry and big then they are quiet. Quiet, furry people are nice. All nice people are smart.
Charlie is smart.
@0: Bob is kind.[(triple1)] Bob is smart.[(triple2)] Charlie is furry.[(triple3 OR ((triple4) -> rule2))] Charlie is kind.[(triple4)] Fiona is cold.[(triple5)] Fiona is kind.[(triple6)] Fiona is nice.[(triple7)] Fiona is not quiet.[(triple8)] Gary is big.[(triple9)] Gary is kind.[(triple10)] @1: Bob is furry.[(((triple1) -> rule2))] Fiona is furry.[(((triple6) -> rule2))] Fiona is smart.[(((triple7) -> rule6))] Gary is furry.[(((triple10) -> rule2) OR ((triple9) -> rule1))] @2: Gary is quiet.[(((((triple10) -> rule2) triple9) -> rule4) OR ((((triple9) -> rule1) triple9) -> rule4))] @3: Gary is nice.[(((((((triple10) -> rule2) triple9) -> rule4) ((triple10) -> rule2)) -> rule5) OR ((((((triple10) -> rule2) triple9) -> rule4) ((triple9) -> rule1)) -> rule5) OR ((((((triple9) -> rule1) triple9) -> rule4) ((triple10) -> rule2)) -> rule5) OR ((((((triple9) -> rule1) triple9) -> rule4) ((triple9) -> rule1)) -> rule5))] @4: Gary is smart.[(((((((((triple10) -> rule2) triple9) -> rule4) ((triple10) -> rule2)) -> rule5)) -> rule6) OR ((((((((triple10) -> rule2) triple9) -> rule4) ((triple9) -> rule1)) -> rule5)) -> rule6) OR ((((((((triple9) -> rule1) triple9) -> rule4) ((triple10) -> rule2)) -> rule5)) -> rule6) OR ((((((((triple9) -> rule1) triple9) -> rule4) ((triple9) -> rule1)) -> rule5)) -> rule6))] @5: Gary is cold.[(((((((((((triple10) -> rule2) triple9) -> rule4) ((triple10) -> rule2)) -> rule5)) -> rule6) ((((triple10) -> rule2) triple9) -> rule4)) -> rule3) OR ((((((((((triple10) -> rule2) triple9) -> rule4) ((triple10) -> rule2)) -> rule5)) -> rule6) ((((triple9) -> rule1) triple9) -> rule4)) -> rule3) OR ((((((((((triple10) -> rule2) triple9) -> rule4) ((triple9) -> rule1)) -> rule5)) -> rule6) ((((triple10) -> rule2) triple9) -> rule4)) -> rule3) OR ((((((((((triple10) -> rule2) triple9) -> rule4) ((triple9) -> rule1)) -> rule5)) -> rule6) ((((triple9) -> rule1) triple9) -> rule4)) -> rule3) OR ((((((((((triple9) -> rule1) triple9) -> rule4) ((triple10) -> rule2)) -> rule5)) -> rule6) ((((triple10) -> rule2) triple9) -> rule4)) -> rule3) OR ((((((((((triple9) -> rule1) triple9) -> rule4) ((triple10) -> rule2)) -> rule5)) -> rule6) ((((triple9) -> rule1) triple9) -> rule4)) -> rule3) OR ((((((((((triple9) -> rule1) triple9) -> rule4) ((triple9) -> rule1)) -> rule5)) -> rule6) ((((triple10) -> rule2) triple9) -> rule4)) -> rule3) OR ((((((((((triple9) -> rule1) triple9) -> rule4) ((triple9) -> rule1)) -> rule5)) -> rule6) ((((triple9) -> rule1) triple9) -> rule4)) -> rule3))]