Fiona is big. Fiona is cold. Fiona is kind. Fiona is red. Fiona is round. Fiona is white. Fiona is young. Gary is big. Gary is cold. Gary is kind. Gary is red. Gary is round. Gary is white. Gary is young. All young people are round. If someone is young and round then they are kind. If someone is big and round then they are kind. If Gary is cold and Gary is young then Gary is big. If someone is white then they are big. All cold people are big.
Gary is red.
@0: Fiona is big.[(triple1 OR ((triple2) -> rule6) OR ((triple6) -> rule5))] Fiona is cold.[(triple2)] Fiona is kind.[(triple3 OR ((triple1 triple5) -> rule3) OR ((triple7 triple5) -> rule2) OR ((triple1 ((triple7) -> rule1)) -> rule3) OR ((triple7 ((triple7) -> rule1)) -> rule2) OR ((((triple2) -> rule6) triple5) -> rule3) OR ((((triple6) -> rule5) triple5) -> rule3) OR ((((triple2) -> rule6) ((triple7) -> rule1)) -> rule3) OR ((((triple6) -> rule5) ((triple7) -> rule1)) -> rule3))] Fiona is red.[(triple4)] Fiona is round.[(triple5 OR ((triple7) -> rule1))] Fiona is white.[(triple6)] Fiona is young.[(triple7)] Gary is big.[(triple8 OR ((triple13) -> rule5) OR ((triple9) -> rule6) OR ((triple9 triple14) -> rule4))] Gary is cold.[(triple9)] Gary is kind.[(triple10 OR ((triple14 triple12) -> rule2) OR ((triple8 triple12) -> rule3) OR ((triple14 ((triple14) -> rule1)) -> rule2) OR ((triple8 ((triple14) -> rule1)) -> rule3) OR ((((triple13) -> rule5) triple12) -> rule3) OR ((((triple9) -> rule6) triple12) -> rule3) OR ((((triple9 triple14) -> rule4) triple12) -> rule3) OR ((((triple13) -> rule5) ((triple14) -> rule1)) -> rule3) OR ((((triple9) -> rule6) ((triple14) -> rule1)) -> rule3) OR ((((triple9 triple14) -> rule4) ((triple14) -> rule1)) -> rule3))] Gary is red.[(triple11)] Gary is round.[(triple12 OR ((triple14) -> rule1))] Gary is white.[(triple13)] Gary is young.[(triple14)]