Bob is round. Dave is big. Dave is young. Fiona is quiet. Gary is cold. Gary is red. Gary is young. All cold things are big. If something is quiet then it is young. Round, cold things are quiet. Young, big things are green. All big, green things are round. Young things are cold.
Fiona is young.
@0: Bob is round.[(triple1)] Dave is big.[(triple2 OR ((((triple3) -> rule6)) -> rule1))] Dave is young.[(triple3)] Fiona is quiet.[(triple4)] Gary is cold.[(triple5 OR ((triple7) -> rule6))] Gary is red.[(triple6)] Gary is young.[(triple7)] @1: Dave is cold.[(((triple3) -> rule6))] Dave is green.[(((triple3 triple2) -> rule4) OR ((triple3 ((((triple3) -> rule6)) -> rule1)) -> rule4))] Fiona is young.[(((triple4) -> rule2))] Gary is big.[(((triple5) -> rule1) OR ((((triple7) -> rule6)) -> rule1))] @2: Dave is round.[(((triple2 ((triple3 triple2) -> rule4)) -> rule5) OR ((((((triple3) -> rule6)) -> rule1) ((triple3 triple2) -> rule4)) -> rule5) OR ((triple2 ((triple3 ((((triple3) -> rule6)) -> rule1)) -> rule4)) -> rule5) OR ((((((triple3) -> rule6)) -> rule1) ((triple3 ((((triple3) -> rule6)) -> rule1)) -> rule4)) -> rule5))] Fiona is cold.[(((((triple4) -> rule2)) -> rule6))] Gary is green.[(((triple7 ((triple5) -> rule1)) -> rule4) OR ((triple7 ((((triple7) -> rule6)) -> rule1)) -> rule4))] @3: Dave is quiet.[(((((triple2 ((triple3 triple2) -> rule4)) -> rule5) ((triple3) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6)) -> rule1) ((triple3 triple2) -> rule4)) -> rule5) ((triple3) -> rule6)) -> rule3) OR ((((triple2 ((triple3 ((((triple3) -> rule6)) -> rule1)) -> rule4)) -> rule5) ((triple3) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6)) -> rule1) ((triple3 ((((triple3) -> rule6)) -> rule1)) -> rule4)) -> rule5) ((triple3) -> rule6)) -> rule3))] Fiona is big.[(((((((triple4) -> rule2)) -> rule6)) -> rule1))] Gary is round.[(((((triple5) -> rule1) ((triple7 ((triple5) -> rule1)) -> rule4)) -> rule5) OR ((((((triple7) -> rule6)) -> rule1) ((triple7 ((triple5) -> rule1)) -> rule4)) -> rule5) OR ((((triple5) -> rule1) ((triple7 ((((triple7) -> rule6)) -> rule1)) -> rule4)) -> rule5) OR ((((((triple7) -> rule6)) -> rule1) ((triple7 ((((triple7) -> rule6)) -> rule1)) -> rule4)) -> rule5))] @4: Fiona is green.[(((((triple4) -> rule2) ((((((triple4) -> rule2)) -> rule6)) -> rule1)) -> rule4))] Gary is quiet.[(((((((triple5) -> rule1) ((triple7 ((triple5) -> rule1)) -> rule4)) -> rule5) triple5) -> rule3) OR ((((((triple5) -> rule1) ((triple7 ((triple5) -> rule1)) -> rule4)) -> rule5) ((triple7) -> rule6)) -> rule3) OR ((((((((triple7) -> rule6)) -> rule1) ((triple7 ((triple5) -> rule1)) -> rule4)) -> rule5) triple5) -> rule3) OR ((((((((triple7) -> rule6)) -> rule1) ((triple7 ((triple5) -> rule1)) -> rule4)) -> rule5) ((triple7) -> rule6)) -> rule3) OR ((((((triple5) -> rule1) ((triple7 ((((triple7) -> rule6)) -> rule1)) -> rule4)) -> rule5) triple5) -> rule3) OR ((((((triple5) -> rule1) ((triple7 ((((triple7) -> rule6)) -> rule1)) -> rule4)) -> rule5) ((triple7) -> rule6)) -> rule3) OR ((((((((triple7) -> rule6)) -> rule1) ((triple7 ((((triple7) -> rule6)) -> rule1)) -> rule4)) -> rule5) triple5) -> rule3) OR ((((((((triple7) -> rule6)) -> rule1) ((triple7 ((((triple7) -> rule6)) -> rule1)) -> rule4)) -> rule5) ((triple7) -> rule6)) -> rule3))] @5: Fiona is round.[(((((((((triple4) -> rule2)) -> rule6)) -> rule1) ((((triple4) -> rule2) ((((((triple4) -> rule2)) -> rule6)) -> rule1)) -> rule4)) -> rule5))]