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