Charlie is big. Charlie is blue. Charlie is green. Charlie is kind. Charlie is red. Fiona is big. Fiona is not kind. Fiona is smart. Gary is green. Gary is kind. All smart people are red. If someone is kind and green then they are smart. If someone is green and big then they are kind. Red, nice people are not green. If someone is big and not green then they are not blue. Green, red people are blue.
Charlie is nice.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2 OR ((triple3 triple5) -> rule6) OR ((triple3 ((((triple4 triple3) -> rule2)) -> rule1)) -> rule6) OR ((triple3 ((((((triple3 triple1) -> rule3) triple3) -> rule2)) -> rule1)) -> rule6))] Charlie is green.[(triple3)] Charlie is kind.[(triple4 OR ((triple3 triple1) -> rule3))] Charlie is red.[(triple5 OR ((((triple4 triple3) -> rule2)) -> rule1) OR ((((((triple3 triple1) -> rule3) triple3) -> rule2)) -> rule1))] Fiona is big.[(triple6)] Fiona is not kind.[(triple7)] Fiona is smart.[(triple8)] Gary is green.[(triple9)] Gary is kind.[(triple10)] @1: Charlie is smart.[(((triple4 triple3) -> rule2) OR ((((triple3 triple1) -> rule3) triple3) -> rule2))] Fiona is red.[(((triple8) -> rule1))] Gary is smart.[(((triple10 triple9) -> rule2))] @2: Gary is red.[(((((triple10 triple9) -> rule2)) -> rule1))] @3: Gary is blue.[(((triple9 ((((triple10 triple9) -> rule2)) -> rule1)) -> rule6))]