Charlie is big. Charlie is blue. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is young. Erin is blue. Erin is quiet. Erin is rough. Erin is smart. Erin is young. Gary is blue. Blue, quiet people are smart. If someone is big then they are red. All red people are smart. Red, smart people are big. Blue people are big. All rough, young people are smart.
Erin is big.
@0: Charlie is big.[(triple1 OR ((triple2) -> rule5))] Charlie is blue.[(triple2)] Charlie is quiet.[(triple3)] Charlie is rough.[(triple4)] Charlie is smart.[(triple5 OR ((triple2 triple3) -> rule1) OR ((triple4 triple6) -> rule6) OR ((((triple1) -> rule2)) -> rule3) OR ((((((triple2) -> rule5)) -> rule2)) -> rule3))] Charlie is young.[(triple6)] Erin is blue.[(triple7)] Erin is quiet.[(triple8)] Erin is rough.[(triple9)] Erin is smart.[(triple10 OR ((triple7 triple8) -> rule1) OR ((triple9 triple11) -> rule6) OR ((((((triple7) -> rule5)) -> rule2)) -> rule3))] Erin is young.[(triple11)] Gary is blue.[(triple12)] @1: Charlie is red.[(((triple1) -> rule2) OR ((((triple2) -> rule5)) -> rule2))] Erin is big.[(((triple7) -> rule5))] Gary is big.[(((triple12) -> rule5))] @2: Erin is red.[(((((triple7) -> rule5)) -> rule2))] Gary is red.[(((((triple12) -> rule5)) -> rule2))] @3: Gary is smart.[(((((((triple12) -> rule5)) -> rule2)) -> rule3))]