Gary is furry. Gary is kind. Gary is quiet. Gary is red. Gary is rough. Gary is round. Gary is smart. If someone is furry and round then they are rough. All kind people are round. All smart people are quiet. All kind people are quiet. If someone is rough then they are smart. If someone is smart and not kind then they are not red. All smart, red people are furry. If Gary is red and Gary is not rough then Gary is quiet.
Gary is furry.
@0: Gary is furry.[(triple1 OR ((triple7 triple4) -> rule7) OR ((((triple5) -> rule5) triple4) -> rule7))] Gary is kind.[(triple2)] Gary is quiet.[(triple3 OR ((triple2) -> rule4) OR ((triple7) -> rule3) OR ((((triple5) -> rule5)) -> rule3) OR ((((((triple1 triple6) -> rule1)) -> rule5)) -> rule3) OR ((((((triple1 ((triple2) -> rule2)) -> rule1)) -> rule5)) -> rule3))] Gary is red.[(triple4)] Gary is rough.[(triple5 OR ((triple1 triple6) -> rule1) OR ((triple1 ((triple2) -> rule2)) -> rule1) OR ((((triple7 triple4) -> rule7) triple6) -> rule1) OR ((((triple7 triple4) -> rule7) ((triple2) -> rule2)) -> rule1))] Gary is round.[(triple6 OR ((triple2) -> rule2))] Gary is smart.[(triple7 OR ((triple5) -> rule5) OR ((((triple1 triple6) -> rule1)) -> rule5) OR ((((triple1 ((triple2) -> rule2)) -> rule1)) -> rule5))]