Charlie is green. Charlie is young. Dave is green. Dave is red. Dave is rough. Dave is smart. Dave is young. Fiona is nice. Fiona is rough. Fiona is smart. Gary is big. Gary is green. Gary is nice. Gary is smart. Gary is young. Nice, green people are red. If Fiona is green and Fiona is rough then Fiona is nice. If someone is rough then they are green. All young people are green. All red, nice people are young. If Charlie is big then Charlie is red. Big, red people are smart. All big people are young.
Gary is young.
@0: Charlie is green.[(triple1 OR ((triple2) -> rule4))] Charlie is young.[(triple2)] Dave is green.[(triple3 OR ((triple5) -> rule3) OR ((triple7) -> rule4))] Dave is red.[(triple4)] Dave is rough.[(triple5)] Dave is smart.[(triple6)] Dave is young.[(triple7)] Fiona is nice.[(triple8 OR ((((triple9) -> rule3) triple9) -> rule2))] Fiona is rough.[(triple9)] Fiona is smart.[(triple10)] Gary is big.[(triple11)] Gary is green.[(triple12 OR ((triple15) -> rule4) OR ((((triple11) -> rule8)) -> rule4))] Gary is nice.[(triple13)] Gary is smart.[(triple14 OR ((triple11 ((triple13 triple12) -> rule1)) -> rule7) OR ((triple11 ((triple13 ((triple15) -> rule4)) -> rule1)) -> rule7) OR ((triple11 ((triple13 ((((triple11) -> rule8)) -> rule4)) -> rule1)) -> rule7))] Gary is young.[(triple15 OR ((triple11) -> rule8) OR ((((triple13 triple12) -> rule1) triple13) -> rule5))] @1: Fiona is green.[(((triple9) -> rule3))] Gary is red.[(((triple13 triple12) -> rule1) OR ((triple13 ((triple15) -> rule4)) -> rule1) OR ((triple13 ((((triple11) -> rule8)) -> rule4)) -> rule1))] @2: Fiona is red.[(((triple8 ((triple9) -> rule3)) -> rule1) OR ((((((triple9) -> rule3) triple9) -> rule2) ((triple9) -> rule3)) -> rule1))] @3: Fiona is young.[(((((triple8 ((triple9) -> rule3)) -> rule1) triple8) -> rule5) OR ((((triple8 ((triple9) -> rule3)) -> rule1) ((((triple9) -> rule3) triple9) -> rule2)) -> rule5) OR ((((((((triple9) -> rule3) triple9) -> rule2) ((triple9) -> rule3)) -> rule1) triple8) -> rule5) OR ((((((((triple9) -> rule3) triple9) -> rule2) ((triple9) -> rule3)) -> rule1) ((((triple9) -> rule3) triple9) -> rule2)) -> rule5))]