Bob is big. Bob is blue. Bob is round. Bob is white. Bob is young. Erin is blue. Erin is round. Erin is white. Erin is young. Fiona is big. Fiona is green. Fiona is red. If something is round then it is big. If something is red then it is white. If Bob is blue and Bob is white then Bob is red. If Fiona is big and Fiona is white then Fiona is blue. Round, white things are young. If Erin is red then Erin is round. White things are green. Green, blue things are young.
Fiona is not young.
@0: Bob is big.[(triple1 OR ((triple3) -> rule1))] Bob is blue.[(triple2)] Bob is round.[(triple3)] Bob is white.[(triple4)] Bob is young.[(triple5 OR ((triple3 triple4) -> rule5) OR ((((triple4) -> rule7) triple2) -> rule8))] Erin is blue.[(triple6)] Erin is round.[(triple7)] Erin is white.[(triple8)] Erin is young.[(triple9 OR ((triple7 triple8) -> rule5) OR ((((triple8) -> rule7) triple6) -> rule8))] Fiona is big.[(triple10)] Fiona is green.[(triple11 OR ((((triple12) -> rule2)) -> rule7))] Fiona is red.[(triple12)] @1: Bob is green.[(((triple4) -> rule7))] Bob is red.[(((triple2 triple4) -> rule3))] Erin is big.[(((triple7) -> rule1))] Erin is green.[(((triple8) -> rule7))] Fiona is white.[(((triple12) -> rule2))] @2: Fiona is blue.[(((triple10 ((triple12) -> rule2)) -> rule4))] @3: Fiona is young.[(((triple11 ((triple10 ((triple12) -> rule2)) -> rule4)) -> rule8) OR ((((((triple12) -> rule2)) -> rule7) ((triple10 ((triple12) -> rule2)) -> rule4)) -> rule8))]