Anne is cold. Bob is cold. Bob is rough. Cold people are rough. All rough people are blue. If someone is blue and rough then they are nice. If Anne is rough and Anne is not blue then Anne is not big. If Bob is blue and Bob is smart then Bob is not big. Nice, blue people are smart. All big, blue people are not smart. If someone is kind and not rough then they are not smart.
Bob is blue.
@0: Anne is cold.[(triple1)] Bob is cold.[(triple2)] Bob is rough.[(triple3 OR ((triple2) -> rule1))] @1: Anne is rough.[(((triple1) -> rule1))] Bob is blue.[(((triple3) -> rule2) OR ((((triple2) -> rule1)) -> rule2))] @2: Anne is blue.[(((((triple1) -> rule1)) -> rule2))] Bob is nice.[(((((triple3) -> rule2) triple3) -> rule3) OR ((((triple3) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((triple2) -> rule1)) -> rule2) triple3) -> rule3) OR ((((((triple2) -> rule1)) -> rule2) ((triple2) -> rule1)) -> rule3))] @3: Anne is nice.[(((((((triple1) -> rule1)) -> rule2) ((triple1) -> rule1)) -> rule3))] Bob is smart.[(((((((triple3) -> rule2) triple3) -> rule3) ((triple3) -> rule2)) -> rule6) OR ((((((triple3) -> rule2) triple3) -> rule3) ((((triple2) -> rule1)) -> rule2)) -> rule6) OR ((((((triple3) -> rule2) ((triple2) -> rule1)) -> rule3) ((triple3) -> rule2)) -> rule6) OR ((((((triple3) -> rule2) ((triple2) -> rule1)) -> rule3) ((((triple2) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple2) -> rule1)) -> rule2) triple3) -> rule3) ((triple3) -> rule2)) -> rule6) OR ((((((((triple2) -> rule1)) -> rule2) triple3) -> rule3) ((((triple2) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple2) -> rule1)) -> rule2) ((triple2) -> rule1)) -> rule3) ((triple3) -> rule2)) -> rule6) OR ((((((((triple2) -> rule1)) -> rule2) ((triple2) -> rule1)) -> rule3) ((((triple2) -> rule1)) -> rule2)) -> rule6))] @4: Anne is smart.[(((((((((triple1) -> rule1)) -> rule2) ((triple1) -> rule1)) -> rule3) ((((triple1) -> rule1)) -> rule2)) -> rule6))] Bob is not big.[(((((triple3) -> rule2) ((((((triple3) -> rule2) triple3) -> rule3) ((triple3) -> rule2)) -> rule6)) -> rule5) OR ((((triple3) -> rule2) ((((((triple3) -> rule2) triple3) -> rule3) ((((triple2) -> rule1)) -> rule2)) -> rule6)) -> rule5) OR ((((triple3) -> rule2) ((((((triple3) -> rule2) ((triple2) -> rule1)) -> rule3) ((triple3) -> rule2)) -> rule6)) -> rule5) OR ((((((triple2) -> rule1)) -> rule2) ((((((triple3) -> rule2) triple3) -> rule3) ((triple3) -> rule2)) -> rule6)) -> rule5) OR ((((triple3) -> rule2) ((((((triple3) -> rule2) ((triple2) -> rule1)) -> rule3) ((((triple2) -> rule1)) -> rule2)) -> rule6)) -> rule5) OR ((((((triple2) -> rule1)) -> rule2) ((((((triple3) -> rule2) triple3) -> rule3) ((((triple2) -> rule1)) -> rule2)) -> rule6)) -> rule5) OR ((((((triple2) -> rule1)) -> rule2) ((((((triple3) -> rule2) ((triple2) -> rule1)) -> rule3) ((triple3) -> rule2)) -> rule6)) -> rule5) OR ((((((triple2) -> rule1)) -> rule2) ((((((triple3) -> rule2) ((triple2) -> rule1)) -> rule3) ((((triple2) -> rule1)) -> rule2)) -> rule6)) -> rule5) OR ((((triple3) -> rule2) ((((((((triple2) -> rule1)) -> rule2) triple3) -> rule3) ((triple3) -> rule2)) -> rule6)) -> rule5) OR ((((triple3) -> rule2) ((((((((triple2) -> rule1)) -> rule2) triple3) -> rule3) ((((triple2) -> rule1)) -> rule2)) -> rule6)) -> rule5) OR ((((triple3) -> rule2) ((((((((triple2) -> rule1)) -> rule2) ((triple2) -> rule1)) -> rule3) ((triple3) -> rule2)) -> rule6)) -> rule5) OR ((((((triple2) -> rule1)) -> rule2) ((((((((triple2) -> rule1)) -> rule2) triple3) -> rule3) ((triple3) -> rule2)) -> rule6)) -> rule5) OR ((((triple3) -> rule2) ((((((((triple2) -> rule1)) -> rule2) ((triple2) -> rule1)) -> rule3) ((((triple2) -> rule1)) -> rule2)) -> rule6)) -> rule5) OR ((((((triple2) -> rule1)) -> rule2) ((((((((triple2) -> rule1)) -> rule2) triple3) -> rule3) ((((triple2) -> rule1)) -> rule2)) -> rule6)) -> rule5) OR ((((((triple2) -> rule1)) -> rule2) ((((((((triple2) -> rule1)) -> rule2) ((triple2) -> rule1)) -> rule3) ((triple3) -> rule2)) -> rule6)) -> rule5) OR ((((((triple2) -> rule1)) -> rule2) ((((((((triple2) -> rule1)) -> rule2) ((triple2) -> rule1)) -> rule3) ((((triple2) -> rule1)) -> rule2)) -> rule6)) -> rule5))]