Bob is big. Bob is blue. Bob is green. Bob is rough. Bob is white. Erin is big. Erin is blue. Erin is green. Erin is rough. Erin is white. Erin is young. Fiona is big. Fiona is white. Harry is white. Harry is young. Young people are blue. If someone is blue and young then they are rough. Big, young people are blue. All blue, green people are white. All quiet people are rough. If Fiona is young then Fiona is blue. If Fiona is blue then Fiona is young. If someone is young and quiet then they are big.
Bob is young.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is green.[(triple3)] Bob is rough.[(triple4)] Bob is white.[(triple5 OR ((triple2 triple3) -> rule4))] Erin is big.[(triple6)] Erin is blue.[(triple7 OR ((triple11) -> rule1) OR ((triple6 triple11) -> rule3))] Erin is green.[(triple8)] Erin is rough.[(triple9 OR ((triple7 triple11) -> rule2) OR ((((triple11) -> rule1) triple11) -> rule2) OR ((((triple6 triple11) -> rule3) triple11) -> rule2))] Erin is white.[(triple10 OR ((triple7 triple8) -> rule4) OR ((((triple11) -> rule1) triple8) -> rule4) OR ((((triple6 triple11) -> rule3) triple8) -> rule4))] Erin is young.[(triple11)] Fiona is big.[(triple12)] Fiona is white.[(triple13)] Harry is white.[(triple14)] Harry is young.[(triple15)] @1: Harry is blue.[(((triple15) -> rule1))] @2: Harry is rough.[(((((triple15) -> rule1) triple15) -> rule2))]