Anne is blue. Anne is kind. Anne is round. Anne is young. Bob is blue. Bob is nice. Bob is round. Bob is young. Fiona is round. Gary is young. Round people are young. If Bob is blue and Bob is kind then Bob is big. Young people are big. If someone is big then they are round. All green people are nice. All kind, blue people are nice.
Fiona is young.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is round.[(triple3 OR ((((triple4) -> rule3)) -> rule4))] Anne is young.[(triple4 OR ((triple3) -> rule1))] Bob is blue.[(triple5)] Bob is nice.[(triple6)] Bob is round.[(triple7 OR ((((triple8) -> rule3)) -> rule4))] Bob is young.[(triple8 OR ((triple7) -> rule1))] Fiona is round.[(triple9)] Gary is young.[(triple10)] @1: Anne is big.[(((triple4) -> rule3) OR ((((triple3) -> rule1)) -> rule3))] Anne is nice.[(((triple2 triple1) -> rule6))] Bob is big.[(((triple8) -> rule3) OR ((((triple7) -> rule1)) -> rule3))] Fiona is young.[(((triple9) -> rule1))] Gary is big.[(((triple10) -> rule3))] @2: Fiona is big.[(((((triple9) -> rule1)) -> rule3))] Gary is round.[(((((triple10) -> rule3)) -> rule4))]