Bob is kind. Bob is rough. Bob is round. Erin is big. Erin is blue. Erin is kind. Erin is nice. Erin is rough. Erin is round. Fiona is kind. Fiona is round. Fiona is young. All rough people are blue. Kind, nice people are round. If someone is nice then they are blue. All rough people are round. Blue, round people are big. If someone is blue and big then they are young.
Bob is big.
@0: Bob is kind.[(triple1)] Bob is rough.[(triple2)] Bob is round.[(triple3 OR ((triple2) -> rule4))] Erin is big.[(triple4 OR ((triple5 triple9) -> rule5) OR ((triple5 ((triple8) -> rule4)) -> rule5) OR ((triple5 ((triple6 triple7) -> rule2)) -> rule5) OR ((((triple7) -> rule3) triple9) -> rule5) OR ((((triple8) -> rule1) triple9) -> rule5) OR ((((triple7) -> rule3) ((triple8) -> rule4)) -> rule5) OR ((((triple7) -> rule3) ((triple6 triple7) -> rule2)) -> rule5) OR ((((triple8) -> rule1) ((triple8) -> rule4)) -> rule5) OR ((((triple8) -> rule1) ((triple6 triple7) -> rule2)) -> rule5))] Erin is blue.[(triple5 OR ((triple7) -> rule3) OR ((triple8) -> rule1))] Erin is kind.[(triple6)] Erin is nice.[(triple7)] Erin is rough.[(triple8)] Erin is round.[(triple9 OR ((triple8) -> rule4) OR ((triple6 triple7) -> rule2))] Fiona is kind.[(triple10)] Fiona is round.[(triple11)] Fiona is young.[(triple12)] @1: Bob is blue.[(((triple2) -> rule1))] Erin is young.[(((triple5 triple4) -> rule6) OR ((triple5 ((triple5 triple9) -> rule5)) -> rule6) OR ((((triple7) -> rule3) triple4) -> rule6) OR ((((triple8) -> rule1) triple4) -> rule6) OR ((((triple7) -> rule3) ((triple5 triple9) -> rule5)) -> rule6) OR ((((triple8) -> rule1) ((triple5 triple9) -> rule5)) -> rule6) OR ((triple5 ((triple5 ((triple8) -> rule4)) -> rule5)) -> rule6) OR ((triple5 ((triple5 ((triple6 triple7) -> rule2)) -> rule5)) -> rule6) OR ((triple5 ((((triple7) -> rule3) triple9) -> rule5)) -> rule6) OR ((triple5 ((((triple8) -> rule1) triple9) -> rule5)) -> rule6) OR ((triple5 ((((triple7) -> rule3) ((triple8) -> rule4)) -> rule5)) -> rule6) OR ((triple5 ((((triple7) -> rule3) ((triple6 triple7) -> rule2)) -> rule5)) -> rule6) OR ((triple5 ((((triple8) -> rule1) ((triple8) -> rule4)) -> rule5)) -> rule6) OR ((triple5 ((((triple8) -> rule1) ((triple6 triple7) -> rule2)) -> rule5)) -> rule6) OR ((((triple7) -> rule3) ((triple5 ((triple8) -> rule4)) -> rule5)) -> rule6) OR ((((triple7) -> rule3) ((triple5 ((triple6 triple7) -> rule2)) -> rule5)) -> rule6) OR ((((triple7) -> rule3) ((((triple7) -> rule3) triple9) -> rule5)) -> rule6) OR ((((triple7) -> rule3) ((((triple8) -> rule1) triple9) -> rule5)) -> rule6) OR ((((triple8) -> rule1) ((triple5 ((triple8) -> rule4)) -> rule5)) -> rule6) OR ((((triple8) -> rule1) ((triple5 ((triple6 triple7) -> rule2)) -> rule5)) -> rule6) OR ((((triple8) -> rule1) ((((triple7) -> rule3) triple9) -> rule5)) -> rule6) OR ((((triple8) -> rule1) ((((triple8) -> rule1) triple9) -> rule5)) -> rule6) OR ((((triple7) -> rule3) ((((triple7) -> rule3) ((triple8) -> rule4)) -> rule5)) -> rule6) OR ((((triple7) -> rule3) ((((triple7) -> rule3) ((triple6 triple7) -> rule2)) -> rule5)) -> rule6) OR ((((triple7) -> rule3) ((((triple8) -> rule1) ((triple8) -> rule4)) -> rule5)) -> rule6) OR ((((triple7) -> rule3) ((((triple8) -> rule1) ((triple6 triple7) -> rule2)) -> rule5)) -> rule6) OR ((((triple8) -> rule1) ((((triple7) -> rule3) ((triple8) -> rule4)) -> rule5)) -> rule6) OR ((((triple8) -> rule1) ((((triple7) -> rule3) ((triple6 triple7) -> rule2)) -> rule5)) -> rule6) OR ((((triple8) -> rule1) ((((triple8) -> rule1) ((triple8) -> rule4)) -> rule5)) -> rule6) OR ((((triple8) -> rule1) ((((triple8) -> rule1) ((triple6 triple7) -> rule2)) -> rule5)) -> rule6))] @2: Bob is big.[(((((triple2) -> rule1) triple3) -> rule5) OR ((((triple2) -> rule1) ((triple2) -> rule4)) -> rule5))] @3: Bob is young.[(((((triple2) -> rule1) ((((triple2) -> rule1) triple3) -> rule5)) -> rule6) OR ((((triple2) -> rule1) ((((triple2) -> rule1) ((triple2) -> rule4)) -> rule5)) -> rule6))]