Bob is blue. Bob is kind. Bob is young. Fiona is blue. Fiona is kind. Fiona is young. Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is kind. Harry is rough. If someone is big then they are cold. If Fiona is big then Fiona is furry. Blue, young people are rough.
Harry is blue.
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2)] Bob is young.[(triple3)] Fiona is blue.[(triple4)] Fiona is kind.[(triple5)] Fiona is young.[(triple6)] Harry is big.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9 OR ((triple7) -> rule1))] Harry is furry.[(triple10)] Harry is kind.[(triple11)] Harry is rough.[(triple12)] @1: Bob is rough.[(((triple1 triple3) -> rule3))] Fiona is rough.[(((triple4 triple6) -> rule3))]