Bob is rough. Bob is round. Bob is white. Fiona is rough. Fiona is white. Harry is blue. Harry is cold. Harry is green. Harry is rough. Harry is round. Harry is white. Harry is young. All blue, young people are white. If someone is cold and blue then they are young. All blue, green people are young. If Bob is green and Bob is round then Bob is young. Blue, green people are cold. Rough people are cold.
Fiona is not young.
@0: Bob is rough.[(triple1)] Bob is round.[(triple2)] Bob is white.[(triple3)] Fiona is rough.[(triple4)] Fiona is white.[(triple5)] Harry is blue.[(triple6)] Harry is cold.[(triple7 OR ((triple9) -> rule6) OR ((triple6 triple8) -> rule5))] Harry is green.[(triple8)] Harry is rough.[(triple9)] Harry is round.[(triple10)] Harry is white.[(triple11 OR ((triple6 triple12) -> rule1) OR ((triple6 ((triple6 triple8) -> rule3)) -> rule1) OR ((triple6 ((triple7 triple6) -> rule2)) -> rule1) OR ((triple6 ((((triple9) -> rule6) triple6) -> rule2)) -> rule1) OR ((triple6 ((((triple6 triple8) -> rule5) triple6) -> rule2)) -> rule1))] Harry is young.[(triple12 OR ((triple6 triple8) -> rule3) OR ((triple7 triple6) -> rule2) OR ((((triple9) -> rule6) triple6) -> rule2) OR ((((triple6 triple8) -> rule5) triple6) -> rule2))] @1: Bob is cold.[(((triple1) -> rule6))] Fiona is cold.[(((triple4) -> rule6))]