Anne is big. Anne is green. Anne is nice. Anne is rough. Anne is young. Bob is big. Bob is green. Bob is nice. Bob is red. Bob is rough. Bob is round. Bob is young. Gary is big. Gary is green. Gary is nice. Gary is round. All young people are nice. Young people are rough. If someone is big and young then they are round. If someone is green then they are nice. All green people are young. Young, nice people are red.
Anne is young.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3 OR ((triple2) -> rule4) OR ((triple5) -> rule1) OR ((((triple2) -> rule5)) -> rule1))] Anne is rough.[(triple4 OR ((triple5) -> rule2) OR ((((triple2) -> rule5)) -> rule2))] Anne is young.[(triple5 OR ((triple2) -> rule5))] Bob is big.[(triple6)] Bob is green.[(triple7)] Bob is nice.[(triple8 OR ((triple12) -> rule1) OR ((triple7) -> rule4) OR ((((triple7) -> rule5)) -> rule1))] Bob is red.[(triple9 OR ((triple12 triple8) -> rule6) OR ((triple12 ((triple12) -> rule1)) -> rule6) OR ((triple12 ((triple7) -> rule4)) -> rule6) OR ((((triple7) -> rule5) triple8) -> rule6) OR ((((triple7) -> rule5) ((triple12) -> rule1)) -> rule6) OR ((((triple7) -> rule5) ((triple7) -> rule4)) -> rule6) OR ((triple12 ((((triple7) -> rule5)) -> rule1)) -> rule6) OR ((((triple7) -> rule5) ((((triple7) -> rule5)) -> rule1)) -> rule6))] Bob is rough.[(triple10 OR ((triple12) -> rule2) OR ((((triple7) -> rule5)) -> rule2))] Bob is round.[(triple11 OR ((triple6 triple12) -> rule3) OR ((triple6 ((triple7) -> rule5)) -> rule3))] Bob is young.[(triple12 OR ((triple7) -> rule5))] Gary is big.[(triple13)] Gary is green.[(triple14)] Gary is nice.[(triple15 OR ((triple14) -> rule4) OR ((((triple14) -> rule5)) -> rule1))] Gary is round.[(triple16 OR ((triple13 ((triple14) -> rule5)) -> rule3))] @1: Anne is red.[(((triple5 triple3) -> rule6) OR ((triple5 ((triple2) -> rule4)) -> rule6) OR ((triple5 ((triple5) -> rule1)) -> rule6) OR ((((triple2) -> rule5) triple3) -> rule6) OR ((((triple2) -> rule5) ((triple2) -> rule4)) -> rule6) OR ((((triple2) -> rule5) ((triple5) -> rule1)) -> rule6) OR ((triple5 ((((triple2) -> rule5)) -> rule1)) -> rule6) OR ((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule1)) -> rule6))] Anne is round.[(((triple1 triple5) -> rule3) OR ((triple1 ((triple2) -> rule5)) -> rule3))] Gary is young.[(((triple14) -> rule5))] @2: Gary is red.[(((((triple14) -> rule5) triple15) -> rule6) OR ((((triple14) -> rule5) ((triple14) -> rule4)) -> rule6) OR ((((triple14) -> rule5) ((((triple14) -> rule5)) -> rule1)) -> rule6))] Gary is rough.[(((((triple14) -> rule5)) -> rule2))]