Bob is kind. Bob is round. Bob is smart. Bob is white. Bob is young. Fiona is cold. Fiona is kind. Fiona is red. Fiona is white. Fiona is young. Gary is cold. Gary is kind. Gary is red. Gary is round. Gary is smart. If someone is smart then they are round. If Fiona is smart then Fiona is kind. If Fiona is kind then Fiona is young.
Bob is red.
@0: Bob is kind.[(triple1)] Bob is round.[(triple2 OR ((triple3) -> rule1))] Bob is smart.[(triple3)] Bob is white.[(triple4)] Bob is young.[(triple5)] Fiona is cold.[(triple6)] Fiona is kind.[(triple7)] Fiona is red.[(triple8)] Fiona is white.[(triple9)] Fiona is young.[(triple10 OR ((triple7) -> rule3))] Gary is cold.[(triple11)] Gary is kind.[(triple12)] Gary is red.[(triple13)] Gary is round.[(triple14 OR ((triple15) -> rule1))] Gary is smart.[(triple15)]