Bob is rough. Bob is young. Dave is big. Dave is quiet. Dave is young. Fiona is young. Gary is red. If someone is quiet then they are blue. If someone is red then they are blue. If someone is blue then they are quiet. All red, rough people are big. If someone is blue and big then they are rough. Young people are red. If Fiona is red and Fiona is rough then Fiona is young. If someone is big then they are young.
Gary is not young.
@0: Bob is rough.[(triple1)] Bob is young.[(triple2)] Dave is big.[(triple3)] Dave is quiet.[(triple4 OR ((((((triple5) -> rule6)) -> rule2)) -> rule3) OR ((((((((triple3) -> rule8)) -> rule6)) -> rule2)) -> rule3))] Dave is young.[(triple5 OR ((triple3) -> rule8))] Fiona is young.[(triple6)] Gary is red.[(triple7)] @1: Bob is red.[(((triple2) -> rule6))] Dave is blue.[(((triple4) -> rule1) OR ((((triple5) -> rule6)) -> rule2) OR ((((((triple3) -> rule8)) -> rule6)) -> rule2))] Dave is red.[(((triple5) -> rule6) OR ((((triple3) -> rule8)) -> rule6))] Fiona is red.[(((triple6) -> rule6))] Gary is blue.[(((triple7) -> rule2))] @2: Bob is big.[(((((triple2) -> rule6) triple1) -> rule4))] Bob is blue.[(((((triple2) -> rule6)) -> rule2))] Dave is rough.[(((((triple4) -> rule1) triple3) -> rule5) OR ((((((triple5) -> rule6)) -> rule2) triple3) -> rule5) OR ((((((((triple3) -> rule8)) -> rule6)) -> rule2) triple3) -> rule5))] Fiona is blue.[(((((triple6) -> rule6)) -> rule2))] Gary is quiet.[(((((triple7) -> rule2)) -> rule3))] @3: Bob is quiet.[(((((((triple2) -> rule6)) -> rule2)) -> rule3))] Fiona is quiet.[(((((((triple6) -> rule6)) -> rule2)) -> rule3))]