Charlie is big. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is red. Erin is big. Erin is blue. Erin is green. Erin is nice. Erin is quiet. Erin is red. Erin is smart. Blue, quiet things are big. Blue things are big. If something is smart and green then it is blue. If something is green and quiet then it is big. If Erin is big then Erin is nice. If something is big and green then it is red. Big, blue things are nice. If something is big then it is nice.
Charlie is smart.
@0: Charlie is big.[(triple1 OR ((triple2 triple4) -> rule4))] Charlie is green.[(triple2)] Charlie is nice.[(triple3 OR ((triple1) -> rule8) OR ((((triple2 triple4) -> rule4)) -> rule8))] Charlie is quiet.[(triple4)] Charlie is red.[(triple5 OR ((triple1 triple2) -> rule6) OR ((((triple2 triple4) -> rule4) triple2) -> rule6))] Erin is big.[(triple6 OR ((triple7) -> rule2) OR ((triple7 triple10) -> rule1) OR ((triple8 triple10) -> rule4) OR ((((triple12 triple8) -> rule3)) -> rule2) OR ((((triple12 triple8) -> rule3) triple10) -> rule1))] Erin is blue.[(triple7 OR ((triple12 triple8) -> rule3))] Erin is green.[(triple8)] Erin is nice.[(triple9 OR ((triple6) -> rule5) OR ((triple6) -> rule8) OR ((triple6 triple7) -> rule7) OR ((((triple7) -> rule2)) -> rule5) OR ((((triple7) -> rule2)) -> rule8) OR ((((triple7 triple10) -> rule1)) -> rule5) OR ((((triple7 triple10) -> rule1)) -> rule8) OR ((((triple8 triple10) -> rule4)) -> rule5) OR ((((triple8 triple10) -> rule4)) -> rule8) OR ((triple6 ((triple12 triple8) -> rule3)) -> rule7) OR ((((triple7) -> rule2) triple7) -> rule7) OR ((((triple7 triple10) -> rule1) triple7) -> rule7) OR ((((triple8 triple10) -> rule4) triple7) -> rule7) OR ((((triple7) -> rule2) ((triple12 triple8) -> rule3)) -> rule7) OR ((((triple7 triple10) -> rule1) ((triple12 triple8) -> rule3)) -> rule7) OR ((((triple8 triple10) -> rule4) ((triple12 triple8) -> rule3)) -> rule7) OR ((((((triple12 triple8) -> rule3)) -> rule2)) -> rule5) OR ((((((triple12 triple8) -> rule3)) -> rule2)) -> rule8) OR ((((((triple12 triple8) -> rule3) triple10) -> rule1)) -> rule5) OR ((((((triple12 triple8) -> rule3) triple10) -> rule1)) -> rule8) OR ((((((triple12 triple8) -> rule3)) -> rule2) triple7) -> rule7) OR ((((((triple12 triple8) -> rule3) triple10) -> rule1) triple7) -> rule7) OR ((((((triple12 triple8) -> rule3)) -> rule2) ((triple12 triple8) -> rule3)) -> rule7) OR ((((((triple12 triple8) -> rule3) triple10) -> rule1) ((triple12 triple8) -> rule3)) -> rule7))] Erin is quiet.[(triple10)] Erin is red.[(triple11 OR ((triple6 triple8) -> rule6) OR ((((triple7) -> rule2) triple8) -> rule6) OR ((((triple7 triple10) -> rule1) triple8) -> rule6) OR ((((triple8 triple10) -> rule4) triple8) -> rule6) OR ((((((triple12 triple8) -> rule3)) -> rule2) triple8) -> rule6) OR ((((((triple12 triple8) -> rule3) triple10) -> rule1) triple8) -> rule6))] Erin is smart.[(triple12)]