Anne is young. Bob is red. Bob is rough. Erin is green. Erin is kind. Gary is kind. Gary is round. If Anne is red and Anne is young then Anne is quiet. Round things are kind. If something is green and red then it is rough. If something is round then it is quiet. If something is young then it is round. Kind, red things are young. All red, round things are young. If something is round and quiet then it is green. All red, rough things are kind.
Anne is red.
@0: Anne is young.[(triple1)] Bob is red.[(triple2)] Bob is rough.[(triple3)] Erin is green.[(triple4)] Erin is kind.[(triple5)] Gary is kind.[(triple6 OR ((triple7) -> rule2))] Gary is round.[(triple7)] @1: Anne is round.[(((triple1) -> rule5))] Bob is kind.[(((triple2 triple3) -> rule9))] Gary is quiet.[(((triple7) -> rule4))] @2: Anne is kind.[(((((triple1) -> rule5)) -> rule2))] Anne is quiet.[(((((triple1) -> rule5)) -> rule4))] Bob is young.[(((((triple2 triple3) -> rule9) triple2) -> rule6))] Gary is green.[(((triple7 ((triple7) -> rule4)) -> rule8))] @3: Anne is green.[(((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule4)) -> rule8))] Bob is round.[(((((((triple2 triple3) -> rule9) triple2) -> rule6)) -> rule5))] @4: Bob is quiet.[(((((((((triple2 triple3) -> rule9) triple2) -> rule6)) -> rule5)) -> rule4))] @5: Bob is green.[(((((((((triple2 triple3) -> rule9) triple2) -> rule6)) -> rule5) ((((((((triple2 triple3) -> rule9) triple2) -> rule6)) -> rule5)) -> rule4)) -> rule8))]