The dog is big. The dog is blue. The dog is green. The dog is kind. The dog is round. All blue, big things are kind. Big, kind things are green. Green, big things are blue.
The dog is big.
@0: The dog is big.[(triple1)] The dog is blue.[(triple2 OR ((triple3 triple1) -> rule3) OR ((((triple1 triple4) -> rule2) triple1) -> rule3))] The dog is green.[(triple3 OR ((triple1 triple4) -> rule2) OR ((triple1 ((triple2 triple1) -> rule1)) -> rule2))] The dog is kind.[(triple4 OR ((triple2 triple1) -> rule1) OR ((((triple3 triple1) -> rule3) triple1) -> rule1))] The dog is round.[(triple5)]