Bob is cold. Bob is kind. Bob is nice. Charlie is not nice. Charlie is round. Fiona is not big. Fiona is nice. Gary is kind. Gary is nice. Gary is young. If someone is round and not kind then they are cold. Big people are cold. All kind people are big. Cold, nice people are round. Green people are round. If someone is cold and not kind then they are not young. If Gary is green then Gary is nice. Big, cold people are nice.
Fiona is not big.
@0: Bob is cold.[(triple1 OR ((((triple2) -> rule3)) -> rule2))] Bob is kind.[(triple2)] Bob is nice.[(triple3 OR ((((triple2) -> rule3) triple1) -> rule8) OR ((((triple2) -> rule3) ((((triple2) -> rule3)) -> rule2)) -> rule8))] Charlie is not nice.[(triple4)] Charlie is round.[(triple5)] Fiona is nice.[(triple7)] Fiona is not big.[(triple6)] Gary is kind.[(triple8)] Gary is nice.[(triple9 OR ((((triple8) -> rule3) ((((triple8) -> rule3)) -> rule2)) -> rule8))] Gary is young.[(triple10)] @1: Bob is big.[(((triple2) -> rule3))] Bob is round.[(((triple1 triple3) -> rule4) OR ((triple1 ((((triple2) -> rule3) triple1) -> rule8)) -> rule4) OR ((((((triple2) -> rule3)) -> rule2) triple3) -> rule4) OR ((((((triple2) -> rule3)) -> rule2) ((((triple2) -> rule3) triple1) -> rule8)) -> rule4) OR ((triple1 ((((triple2) -> rule3) ((((triple2) -> rule3)) -> rule2)) -> rule8)) -> rule4) OR ((((((triple2) -> rule3)) -> rule2) ((((triple2) -> rule3) ((((triple2) -> rule3)) -> rule2)) -> rule8)) -> rule4))] Gary is big.[(((triple8) -> rule3))] @2: Gary is cold.[(((((triple8) -> rule3)) -> rule2))] @3: Gary is round.[(((((((triple8) -> rule3)) -> rule2) triple9) -> rule4) OR ((((((triple8) -> rule3)) -> rule2) ((((triple8) -> rule3) ((((triple8) -> rule3)) -> rule2)) -> rule8)) -> rule4))]