Bob is green. Bob is red. Charlie is cold. Charlie is furry. Charlie is green. Charlie is red. Charlie is round. Charlie is young. Fiona is furry. Fiona is red. Fiona is rough. Fiona is round. Harry is cold. Harry is furry. Harry is green. Rough, round people are green. All green people are cold. If someone is cold and green then they are young. If Bob is furry then Bob is young. If someone is furry and cold then they are round. If someone is cold and rough then they are green.
Harry is red.
@0: Bob is green.[(triple1)] Bob is red.[(triple2)] Charlie is cold.[(triple3 OR ((triple5) -> rule2))] Charlie is furry.[(triple4)] Charlie is green.[(triple5)] Charlie is red.[(triple6)] Charlie is round.[(triple7 OR ((triple4 triple3) -> rule5) OR ((triple4 ((triple5) -> rule2)) -> rule5))] Charlie is young.[(triple8 OR ((triple3 triple5) -> rule3) OR ((((triple5) -> rule2) triple5) -> rule3))] Fiona is furry.[(triple9)] Fiona is red.[(triple10)] Fiona is rough.[(triple11)] Fiona is round.[(triple12)] Harry is cold.[(triple13 OR ((triple15) -> rule2))] Harry is furry.[(triple14)] Harry is green.[(triple15)] @1: Bob is cold.[(((triple1) -> rule2))] Fiona is green.[(((triple11 triple12) -> rule1))] Harry is round.[(((triple14 triple13) -> rule5) OR ((triple14 ((triple15) -> rule2)) -> rule5))] Harry is young.[(((triple13 triple15) -> rule3) OR ((((triple15) -> rule2) triple15) -> rule3))] @2: Bob is young.[(((((triple1) -> rule2) triple1) -> rule3))] Fiona is cold.[(((((triple11 triple12) -> rule1)) -> rule2))] @3: Fiona is young.[(((((((triple11 triple12) -> rule1)) -> rule2) ((triple11 triple12) -> rule1)) -> rule3))]