Bob is big. Bob is not green. Charlie is big. Charlie is blue. Fiona is furry. Fiona is young. Gary is big. Gary is blue. Gary is green. Gary is young. Red, blue people are round. All big, red people are young. If Bob is young and Bob is round then Bob is not big. If Gary is round then Gary is young. If someone is round then they are furry. All blue people are red.
Charlie is round.
@0: Bob is big.[(triple1)] Bob is not green.[(triple2)] Charlie is big.[(triple3)] Charlie is blue.[(triple4)] Fiona is furry.[(triple5)] Fiona is young.[(triple6)] Gary is big.[(triple7)] Gary is blue.[(triple8)] Gary is green.[(triple9)] Gary is young.[(triple10 OR ((triple7 ((triple8) -> rule6)) -> rule2) OR ((((((triple8) -> rule6) triple8) -> rule1)) -> rule4))] @1: Charlie is red.[(((triple4) -> rule6))] Gary is red.[(((triple8) -> rule6))] @2: Charlie is round.[(((((triple4) -> rule6) triple4) -> rule1))] Charlie is young.[(((triple3 ((triple4) -> rule6)) -> rule2))] Gary is round.[(((((triple8) -> rule6) triple8) -> rule1))] @3: Charlie is furry.[(((((((triple4) -> rule6) triple4) -> rule1)) -> rule5))] Gary is furry.[(((((((triple8) -> rule6) triple8) -> rule1)) -> rule5))]