Charlie is blue. Charlie is cold. Charlie is green. Charlie is nice. Charlie is red. Charlie is round. Charlie is smart. Harry is blue. Harry is cold. Harry is green. Harry is nice. Harry is red. Harry is round. Harry is smart. Green things are round. If something is nice and blue then it is smart. All round, smart things are nice. If Charlie is round and Charlie is red then Charlie is cold. If something is green then it is smart. If something is blue then it is red. If Charlie is smart and Charlie is blue then Charlie is nice. Green, blue things are cold.
Charlie is nice.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2 OR ((triple3 triple1) -> rule8) OR ((triple6 triple5) -> rule4) OR ((triple6 ((triple1) -> rule6)) -> rule4) OR ((((triple3) -> rule1) triple5) -> rule4) OR ((((triple3) -> rule1) ((triple1) -> rule6)) -> rule4))] Charlie is green.[(triple3)] Charlie is nice.[(triple4 OR ((triple6 triple7) -> rule3) OR ((triple7 triple1) -> rule7) OR ((triple6 ((triple3) -> rule5)) -> rule3) OR ((((triple3) -> rule1) triple7) -> rule3) OR ((((triple3) -> rule5) triple1) -> rule7) OR ((((triple3) -> rule1) ((triple3) -> rule5)) -> rule3))] Charlie is red.[(triple5 OR ((triple1) -> rule6))] Charlie is round.[(triple6 OR ((triple3) -> rule1))] Charlie is smart.[(triple7 OR ((triple3) -> rule5) OR ((triple4 triple1) -> rule2))] Harry is blue.[(triple8)] Harry is cold.[(triple9 OR ((triple10 triple8) -> rule8))] Harry is green.[(triple10)] Harry is nice.[(triple11 OR ((triple13 triple14) -> rule3) OR ((triple13 ((triple10) -> rule5)) -> rule3) OR ((((triple10) -> rule1) triple14) -> rule3) OR ((((triple10) -> rule1) ((triple10) -> rule5)) -> rule3))] Harry is red.[(triple12 OR ((triple8) -> rule6))] Harry is round.[(triple13 OR ((triple10) -> rule1))] Harry is smart.[(triple14 OR ((triple10) -> rule5) OR ((triple11 triple8) -> rule2))]