Bob is big. Bob is cold. Bob is kind. Bob is nice. Bob is red. Bob is round. Bob is young. Fiona is big. Fiona is nice. Fiona is young. Gary is big. Gary is cold. Gary is kind. Gary is red. Gary is round. Gary is young. If Gary is cold then Gary is young. Young, big things are red. All big things are kind.
Gary is nice.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is kind.[(triple3 OR ((triple1) -> rule3))] Bob is nice.[(triple4)] Bob is red.[(triple5 OR ((triple7 triple1) -> rule2))] Bob is round.[(triple6)] Bob is young.[(triple7)] Fiona is big.[(triple8)] Fiona is nice.[(triple9)] Fiona is young.[(triple10)] Gary is big.[(triple11)] Gary is cold.[(triple12)] Gary is kind.[(triple13 OR ((triple11) -> rule3))] Gary is red.[(triple14 OR ((triple16 triple11) -> rule2) OR ((((triple12) -> rule1) triple11) -> rule2))] Gary is round.[(triple15)] Gary is young.[(triple16 OR ((triple12) -> rule1))] @1: Fiona is kind.[(((triple8) -> rule3))] Fiona is red.[(((triple10 triple8) -> rule2))]