Bob is big. Bob is white. Charlie is cold. Charlie is furry. Charlie is round. Charlie is white. Charlie is young. Fiona is cold. Fiona is green. Fiona is round. Fiona is young. Harry is young. If someone is furry and cold then they are green. If someone is white and cold then they are young. If Bob is white then Bob is round. If Harry is green and Harry is cold then Harry is round. Young people are white. If someone is cold then they are furry. All white, young people are cold.
Harry is furry.
@0: Bob is big.[(triple1)] Bob is white.[(triple2)] Charlie is cold.[(triple3 OR ((triple6 triple7) -> rule7) OR ((((triple7) -> rule5) triple7) -> rule7))] Charlie is furry.[(triple4 OR ((triple3) -> rule6) OR ((((triple6 triple7) -> rule7)) -> rule6) OR ((((((triple7) -> rule5) triple7) -> rule7)) -> rule6))] Charlie is round.[(triple5)] Charlie is white.[(triple6 OR ((triple7) -> rule5))] Charlie is young.[(triple7 OR ((triple6 triple3) -> rule2))] Fiona is cold.[(triple8 OR ((((triple11) -> rule5) triple11) -> rule7))] Fiona is green.[(triple9 OR ((((triple8) -> rule6) triple8) -> rule1) OR ((((triple8) -> rule6) ((((triple11) -> rule5) triple11) -> rule7)) -> rule1) OR ((((((((triple11) -> rule5) triple11) -> rule7)) -> rule6) triple8) -> rule1) OR ((((((((triple11) -> rule5) triple11) -> rule7)) -> rule6) ((((triple11) -> rule5) triple11) -> rule7)) -> rule1))] Fiona is round.[(triple10)] Fiona is young.[(triple11)] Harry is young.[(triple12)] @1: Bob is round.[(((triple2) -> rule3))] Charlie is green.[(((triple4 triple3) -> rule1) OR ((triple4 ((triple6 triple7) -> rule7)) -> rule1) OR ((((triple3) -> rule6) triple3) -> rule1) OR ((((triple3) -> rule6) ((triple6 triple7) -> rule7)) -> rule1) OR ((triple4 ((((triple7) -> rule5) triple7) -> rule7)) -> rule1) OR ((((((triple6 triple7) -> rule7)) -> rule6) triple3) -> rule1) OR ((((triple3) -> rule6) ((((triple7) -> rule5) triple7) -> rule7)) -> rule1) OR ((((((triple6 triple7) -> rule7)) -> rule6) ((triple6 triple7) -> rule7)) -> rule1) OR ((((((triple6 triple7) -> rule7)) -> rule6) ((((triple7) -> rule5) triple7) -> rule7)) -> rule1) OR ((((((((triple7) -> rule5) triple7) -> rule7)) -> rule6) triple3) -> rule1) OR ((((((((triple7) -> rule5) triple7) -> rule7)) -> rule6) ((triple6 triple7) -> rule7)) -> rule1) OR ((((((((triple7) -> rule5) triple7) -> rule7)) -> rule6) ((((triple7) -> rule5) triple7) -> rule7)) -> rule1))] Fiona is furry.[(((triple8) -> rule6) OR ((((((triple11) -> rule5) triple11) -> rule7)) -> rule6))] Fiona is white.[(((triple11) -> rule5))] Harry is white.[(((triple12) -> rule5))] @2: Harry is cold.[(((((triple12) -> rule5) triple12) -> rule7))] @3: Harry is furry.[(((((((triple12) -> rule5) triple12) -> rule7)) -> rule6))] @4: Harry is green.[(((((((((triple12) -> rule5) triple12) -> rule7)) -> rule6) ((((triple12) -> rule5) triple12) -> rule7)) -> rule1))] @5: Harry is round.[(((((((((((triple12) -> rule5) triple12) -> rule7)) -> rule6) ((((triple12) -> rule5) triple12) -> rule7)) -> rule1) ((((triple12) -> rule5) triple12) -> rule7)) -> rule4))]