Bob is cold. Bob is furry. Bob is round. Bob is white. Bob is young. Charlie is furry. Charlie is round. Fiona is furry. Fiona is red. Gary is not cold. Gary is quiet. Gary is red. Gary is round. Gary is white. Gary is young. If Fiona is cold then Fiona is round. Furry people are cold. Cold, furry people are red. Red people are white. All young people are white. All quiet people are not furry. White people are round. If Fiona is not quiet then Fiona is furry.
Bob is not young.
@0: Bob is cold.[(triple1 OR ((triple2) -> rule2))] Bob is furry.[(triple2)] Bob is round.[(triple3 OR ((triple4) -> rule7) OR ((((triple5) -> rule5)) -> rule7) OR ((((((triple1 triple2) -> rule3)) -> rule4)) -> rule7) OR ((((((((triple2) -> rule2) triple2) -> rule3)) -> rule4)) -> rule7))] Bob is white.[(triple4 OR ((triple5) -> rule5) OR ((((triple1 triple2) -> rule3)) -> rule4) OR ((((((triple2) -> rule2) triple2) -> rule3)) -> rule4))] Bob is young.[(triple5)] Charlie is furry.[(triple6)] Charlie is round.[(triple7 OR ((((((((triple6) -> rule2) triple6) -> rule3)) -> rule4)) -> rule7))] Fiona is furry.[(triple8)] Fiona is red.[(triple9 OR ((((triple8) -> rule2) triple8) -> rule3))] Gary is not cold.[(triple10)] Gary is quiet.[(triple11)] Gary is red.[(triple12)] Gary is round.[(triple13 OR ((triple14) -> rule7) OR ((((triple12) -> rule4)) -> rule7) OR ((((triple15) -> rule5)) -> rule7))] Gary is white.[(triple14 OR ((triple12) -> rule4) OR ((triple15) -> rule5))] Gary is young.[(triple15)] @1: Bob is red.[(((triple1 triple2) -> rule3) OR ((((triple2) -> rule2) triple2) -> rule3))] Charlie is cold.[(((triple6) -> rule2))] Fiona is cold.[(((triple8) -> rule2))] Fiona is white.[(((triple9) -> rule4) OR ((((((triple8) -> rule2) triple8) -> rule3)) -> rule4))] Gary is not furry.[(((triple11) -> rule6))] @2: Charlie is red.[(((((triple6) -> rule2) triple6) -> rule3))] Fiona is round.[(((((triple8) -> rule2)) -> rule1) OR ((((triple9) -> rule4)) -> rule7) OR ((((((((triple8) -> rule2) triple8) -> rule3)) -> rule4)) -> rule7))] @3: Charlie is white.[(((((((triple6) -> rule2) triple6) -> rule3)) -> rule4))]