Charlie is blue. Charlie is kind. Charlie is nice. Charlie is rough. Dave is big. Dave is blue. Dave is furry. Dave is kind. Gary is big. Gary is blue. Gary is furry. Gary is kind. Gary is nice. Gary is red. Gary is rough. Kind, big people are red. If someone is furry and nice then they are kind. Furry people are big. If Gary is big then Gary is red. If someone is rough and red then they are big. Nice people are furry.
Charlie is big.
@0: Charlie is blue.[(triple1)] Charlie is kind.[(triple2 OR ((((triple3) -> rule6) triple3) -> rule2))] Charlie is nice.[(triple3)] Charlie is rough.[(triple4)] Dave is big.[(triple5 OR ((triple7) -> rule3))] Dave is blue.[(triple6)] Dave is furry.[(triple7)] Dave is kind.[(triple8)] Gary is big.[(triple9 OR ((triple11) -> rule3) OR ((triple15 triple14) -> rule5) OR ((((triple13) -> rule6)) -> rule3))] Gary is blue.[(triple10)] Gary is furry.[(triple11 OR ((triple13) -> rule6))] Gary is kind.[(triple12 OR ((triple11 triple13) -> rule2) OR ((((triple13) -> rule6) triple13) -> rule2))] Gary is nice.[(triple13)] Gary is red.[(triple14 OR ((triple9) -> rule4) OR ((triple12 triple9) -> rule1) OR ((((triple11) -> rule3)) -> rule4) OR ((triple12 ((triple11) -> rule3)) -> rule1) OR ((((triple11 triple13) -> rule2) triple9) -> rule1) OR ((((triple11 triple13) -> rule2) ((triple11) -> rule3)) -> rule1) OR ((((((triple13) -> rule6)) -> rule3)) -> rule4) OR ((triple12 ((((triple13) -> rule6)) -> rule3)) -> rule1) OR ((((((triple13) -> rule6) triple13) -> rule2) triple9) -> rule1) OR ((((triple11 triple13) -> rule2) ((((triple13) -> rule6)) -> rule3)) -> rule1) OR ((((((triple13) -> rule6) triple13) -> rule2) ((triple11) -> rule3)) -> rule1) OR ((((((triple13) -> rule6) triple13) -> rule2) ((((triple13) -> rule6)) -> rule3)) -> rule1))] Gary is rough.[(triple15)] @1: Charlie is furry.[(((triple3) -> rule6))] Dave is red.[(((triple8 triple5) -> rule1) OR ((triple8 ((triple7) -> rule3)) -> rule1))] @2: Charlie is big.[(((((triple3) -> rule6)) -> rule3))] @3: Charlie is red.[(((triple2 ((((triple3) -> rule6)) -> rule3)) -> rule1) OR ((((((triple3) -> rule6) triple3) -> rule2) ((((triple3) -> rule6)) -> rule3)) -> rule1))]