Bob is big. Bob is furry. Bob is young. Dave is big. Dave is round. Erin is round. Gary is big. Gary is furry. Gary is kind. Gary is red. Gary is round. Gary is young. If someone is kind and big then they are furry. Red, big people are kind. If Bob is young and Bob is blue then Bob is big. Round people are big. If someone is red and big then they are furry. All young, blue people are red.
Gary is furry.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is young.[(triple3)] Dave is big.[(triple4 OR ((triple5) -> rule4))] Dave is round.[(triple5)] Erin is round.[(triple6)] Gary is big.[(triple7 OR ((triple11) -> rule4))] Gary is furry.[(triple8 OR ((triple10 triple7) -> rule5) OR ((triple9 triple7) -> rule1) OR ((triple10 ((triple11) -> rule4)) -> rule5) OR ((triple9 ((triple11) -> rule4)) -> rule1) OR ((((triple10 triple7) -> rule2) triple7) -> rule1) OR ((((triple10 triple7) -> rule2) ((triple11) -> rule4)) -> rule1) OR ((((triple10 ((triple11) -> rule4)) -> rule2) triple7) -> rule1) OR ((((triple10 ((triple11) -> rule4)) -> rule2) ((triple11) -> rule4)) -> rule1))] Gary is kind.[(triple9 OR ((triple10 triple7) -> rule2) OR ((triple10 ((triple11) -> rule4)) -> rule2))] Gary is red.[(triple10)] Gary is round.[(triple11)] Gary is young.[(triple12)] @1: Erin is big.[(((triple6) -> rule4))]