Anne is cold. Anne is green. Bob is nice. Bob is smart. Charlie is kind. Charlie is nice. Charlie is red. Charlie is smart. Charlie is young. Gary is kind. Gary is red. Gary is young. Green things are red. If something is nice and green then it is smart. All red things are young. If Bob is kind and Bob is red then Bob is cold. If Gary is green and Gary is nice then Gary is kind. All smart, red things are kind. All young, red things are nice. If something is kind then it is cold.
Bob is not red.
@0: Anne is cold.[(triple1 OR ((((((((((((triple2) -> rule1)) -> rule3) ((triple2) -> rule1)) -> rule7) triple2) -> rule2) ((triple2) -> rule1)) -> rule6)) -> rule8))] Anne is green.[(triple2)] Bob is nice.[(triple3)] Bob is smart.[(triple4)] Charlie is kind.[(triple5 OR ((triple8 triple7) -> rule6))] Charlie is nice.[(triple6 OR ((triple9 triple7) -> rule7) OR ((((triple7) -> rule3) triple7) -> rule7))] Charlie is red.[(triple7)] Charlie is smart.[(triple8)] Charlie is young.[(triple9 OR ((triple7) -> rule3))] Gary is kind.[(triple10)] Gary is red.[(triple11)] Gary is young.[(triple12 OR ((triple11) -> rule3))] @1: Anne is red.[(((triple2) -> rule1))] Charlie is cold.[(((triple5) -> rule8) OR ((((triple8 triple7) -> rule6)) -> rule8))] Gary is cold.[(((triple10) -> rule8))] Gary is nice.[(((triple12 triple11) -> rule7) OR ((((triple11) -> rule3) triple11) -> rule7))] @2: Anne is young.[(((((triple2) -> rule1)) -> rule3))] @3: Anne is nice.[(((((((triple2) -> rule1)) -> rule3) ((triple2) -> rule1)) -> rule7))] @4: Anne is smart.[(((((((((triple2) -> rule1)) -> rule3) ((triple2) -> rule1)) -> rule7) triple2) -> rule2))] @5: Anne is kind.[(((((((((((triple2) -> rule1)) -> rule3) ((triple2) -> rule1)) -> rule7) triple2) -> rule2) ((triple2) -> rule1)) -> rule6))]