Anne is big. Anne is blue. Anne is cold. Anne is kind. Anne is nice. Anne is rough. Anne is smart. Charlie is big. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is smart. If Charlie is nice and Charlie is rough then Charlie is kind. Blue, smart people are rough. If someone is smart and rough then they are kind. If Charlie is kind and Charlie is smart then Charlie is cold. Smart people are rough. If someone is nice and kind then they are cold. All smart people are blue. If someone is rough and nice then they are cold.
Charlie is not rough.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple7) -> rule7))] Anne is cold.[(triple3 OR ((triple5 triple4) -> rule6) OR ((triple6 triple5) -> rule8) OR ((triple5 ((triple7 triple6) -> rule3)) -> rule6) OR ((((triple7) -> rule5) triple5) -> rule8) OR ((((triple2 triple7) -> rule2) triple5) -> rule8) OR ((triple5 ((triple7 ((triple7) -> rule5)) -> rule3)) -> rule6) OR ((triple5 ((triple7 ((triple2 triple7) -> rule2)) -> rule3)) -> rule6) OR ((((((triple7) -> rule7) triple7) -> rule2) triple5) -> rule8) OR ((triple5 ((triple7 ((((triple7) -> rule7) triple7) -> rule2)) -> rule3)) -> rule6))] Anne is kind.[(triple4 OR ((triple7 triple6) -> rule3) OR ((triple7 ((triple7) -> rule5)) -> rule3) OR ((triple7 ((triple2 triple7) -> rule2)) -> rule3) OR ((triple7 ((((triple7) -> rule7) triple7) -> rule2)) -> rule3))] Anne is nice.[(triple5)] Anne is rough.[(triple6 OR ((triple7) -> rule5) OR ((triple2 triple7) -> rule2) OR ((((triple7) -> rule7) triple7) -> rule2))] Anne is smart.[(triple7)] Charlie is big.[(triple8)] Charlie is blue.[(triple9 OR ((triple14) -> rule7))] Charlie is cold.[(triple10 OR ((triple11 triple14) -> rule4) OR ((triple12 triple11) -> rule6) OR ((triple13 triple12) -> rule8) OR ((triple12 ((triple12 triple13) -> rule1)) -> rule6) OR ((triple12 ((triple14 triple13) -> rule3)) -> rule6) OR ((((triple14) -> rule5) triple12) -> rule8) OR ((((triple12 triple13) -> rule1) triple14) -> rule4) OR ((((triple14 triple13) -> rule3) triple14) -> rule4) OR ((((triple9 triple14) -> rule2) triple12) -> rule8) OR ((triple12 ((triple12 ((triple14) -> rule5)) -> rule1)) -> rule6) OR ((triple12 ((triple12 ((triple9 triple14) -> rule2)) -> rule1)) -> rule6) OR ((triple12 ((triple14 ((triple14) -> rule5)) -> rule3)) -> rule6) OR ((triple12 ((triple14 ((triple9 triple14) -> rule2)) -> rule3)) -> rule6) OR ((((triple12 ((triple14) -> rule5)) -> rule1) triple14) -> rule4) OR ((((triple12 ((triple9 triple14) -> rule2)) -> rule1) triple14) -> rule4) OR ((((triple14 ((triple14) -> rule5)) -> rule3) triple14) -> rule4) OR ((((triple14 ((triple9 triple14) -> rule2)) -> rule3) triple14) -> rule4) OR ((((((triple14) -> rule7) triple14) -> rule2) triple12) -> rule8) OR ((triple12 ((triple12 ((((triple14) -> rule7) triple14) -> rule2)) -> rule1)) -> rule6) OR ((triple12 ((triple14 ((((triple14) -> rule7) triple14) -> rule2)) -> rule3)) -> rule6) OR ((((triple12 ((((triple14) -> rule7) triple14) -> rule2)) -> rule1) triple14) -> rule4) OR ((((triple14 ((((triple14) -> rule7) triple14) -> rule2)) -> rule3) triple14) -> rule4))] Charlie is kind.[(triple11 OR ((triple12 triple13) -> rule1) OR ((triple14 triple13) -> rule3) OR ((triple12 ((triple14) -> rule5)) -> rule1) OR ((triple12 ((triple9 triple14) -> rule2)) -> rule1) OR ((triple14 ((triple14) -> rule5)) -> rule3) OR ((triple14 ((triple9 triple14) -> rule2)) -> rule3) OR ((triple12 ((((triple14) -> rule7) triple14) -> rule2)) -> rule1) OR ((triple14 ((((triple14) -> rule7) triple14) -> rule2)) -> rule3))] Charlie is nice.[(triple12)] Charlie is rough.[(triple13 OR ((triple14) -> rule5) OR ((triple9 triple14) -> rule2) OR ((((triple14) -> rule7) triple14) -> rule2))] Charlie is smart.[(triple14)]