Bob is big. Bob is furry. Bob is nice. Bob is red. Bob is round. Bob is smart. Bob is young. Gary is big. Gary is furry. Gary is nice. Gary is red. Gary is round. Gary is smart. Gary is young. Big people are young. If Gary is nice then Gary is big. Smart, red people are round. If someone is young and smart then they are furry. Round, red people are furry. All nice people are big.
Gary is not nice.
@0: Bob is big.[(triple1 OR ((triple3) -> rule6))] Bob is furry.[(triple2 OR ((triple5 triple4) -> rule5) OR ((triple7 triple6) -> rule4) OR ((((triple1) -> rule1) triple6) -> rule4) OR ((((triple6 triple4) -> rule3) triple4) -> rule5) OR ((((((triple3) -> rule6)) -> rule1) triple6) -> rule4))] Bob is nice.[(triple3)] Bob is red.[(triple4)] Bob is round.[(triple5 OR ((triple6 triple4) -> rule3))] Bob is smart.[(triple6)] Bob is young.[(triple7 OR ((triple1) -> rule1) OR ((((triple3) -> rule6)) -> rule1))] Gary is big.[(triple8 OR ((triple10) -> rule2) OR ((triple10) -> rule6))] Gary is furry.[(triple9 OR ((triple12 triple11) -> rule5) OR ((triple14 triple13) -> rule4) OR ((((triple8) -> rule1) triple13) -> rule4) OR ((((triple13 triple11) -> rule3) triple11) -> rule5) OR ((((((triple10) -> rule2)) -> rule1) triple13) -> rule4) OR ((((((triple10) -> rule6)) -> rule1) triple13) -> rule4))] Gary is nice.[(triple10)] Gary is red.[(triple11)] Gary is round.[(triple12 OR ((triple13 triple11) -> rule3))] Gary is smart.[(triple13)] Gary is young.[(triple14 OR ((triple8) -> rule1) OR ((((triple10) -> rule2)) -> rule1) OR ((((triple10) -> rule6)) -> rule1))]