Dave is big. Dave is green. Dave is nice. Dave is red. Dave is rough. Harry is big. Harry is cold. Harry is green. Harry is nice. Harry is red. Harry is rough. Harry is young. If someone is rough and cold then they are red. If Harry is nice and Harry is red then Harry is rough. All cold people are rough. All nice, young people are red. Rough, red people are big. If Dave is nice then Dave is cold.
Dave is cold.
@0: Dave is big.[(triple1 OR ((triple5 triple4) -> rule5) OR ((triple5 ((triple5 ((triple3) -> rule6)) -> rule1)) -> rule5) OR ((((((triple3) -> rule6)) -> rule3) triple4) -> rule5) OR ((((((triple3) -> rule6)) -> rule3) ((triple5 ((triple3) -> rule6)) -> rule1)) -> rule5) OR ((triple5 ((((((triple3) -> rule6)) -> rule3) ((triple3) -> rule6)) -> rule1)) -> rule5) OR ((((((triple3) -> rule6)) -> rule3) ((((((triple3) -> rule6)) -> rule3) ((triple3) -> rule6)) -> rule1)) -> rule5))] Dave is green.[(triple2)] Dave is nice.[(triple3)] Dave is red.[(triple4 OR ((triple5 ((triple3) -> rule6)) -> rule1) OR ((((((triple3) -> rule6)) -> rule3) ((triple3) -> rule6)) -> rule1))] Dave is rough.[(triple5 OR ((((triple3) -> rule6)) -> rule3))] Harry is big.[(triple6 OR ((triple11 triple10) -> rule5) OR ((triple11 ((triple11 triple7) -> rule1)) -> rule5) OR ((triple11 ((triple9 triple12) -> rule4)) -> rule5) OR ((((triple7) -> rule3) triple10) -> rule5) OR ((((triple9 triple10) -> rule2) triple10) -> rule5) OR ((((triple7) -> rule3) ((triple11 triple7) -> rule1)) -> rule5) OR ((((triple7) -> rule3) ((triple9 triple12) -> rule4)) -> rule5) OR ((((triple9 triple10) -> rule2) ((triple11 triple7) -> rule1)) -> rule5) OR ((((triple9 triple10) -> rule2) ((triple9 triple12) -> rule4)) -> rule5) OR ((triple11 ((((triple7) -> rule3) triple7) -> rule1)) -> rule5) OR ((((triple9 ((triple9 triple12) -> rule4)) -> rule2) triple10) -> rule5) OR ((((triple7) -> rule3) ((((triple7) -> rule3) triple7) -> rule1)) -> rule5) OR ((((triple9 triple10) -> rule2) ((((triple7) -> rule3) triple7) -> rule1)) -> rule5) OR ((((triple9 ((triple9 triple12) -> rule4)) -> rule2) ((triple11 triple7) -> rule1)) -> rule5) OR ((((triple9 ((triple9 triple12) -> rule4)) -> rule2) ((triple9 triple12) -> rule4)) -> rule5) OR ((((triple9 ((triple9 triple12) -> rule4)) -> rule2) ((((triple7) -> rule3) triple7) -> rule1)) -> rule5))] Harry is cold.[(triple7)] Harry is green.[(triple8)] Harry is nice.[(triple9)] Harry is red.[(triple10 OR ((triple11 triple7) -> rule1) OR ((triple9 triple12) -> rule4) OR ((((triple7) -> rule3) triple7) -> rule1))] Harry is rough.[(triple11 OR ((triple7) -> rule3) OR ((triple9 triple10) -> rule2) OR ((triple9 ((triple9 triple12) -> rule4)) -> rule2))] Harry is young.[(triple12)] @1: Dave is cold.[(((triple3) -> rule6))]