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