Bob is kind. Bob is rough. Bob is smart. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is young. Erin is blue. Erin is kind. Erin is nice. Erin is young. Young things are blue. If something is blue and kind then it is cold. Cold, nice things are rough. If something is young then it is rough. Cold, kind things are nice. If Bob is smart then Bob is young.
Bob is blue.
@0: Bob is kind.[(triple1)] Bob is rough.[(triple2 OR ((((triple3) -> rule6)) -> rule4) OR ((((((((triple3) -> rule6)) -> rule1) triple1) -> rule2) ((((((((triple3) -> rule6)) -> rule1) triple1) -> rule2) triple1) -> rule5)) -> rule3))] Bob is smart.[(triple3)] Charlie is cold.[(triple4 OR ((((triple8) -> rule1) triple5) -> rule2))] Charlie is kind.[(triple5)] Charlie is nice.[(triple6 OR ((triple4 triple5) -> rule5) OR ((((((triple8) -> rule1) triple5) -> rule2) triple5) -> rule5))] Charlie is rough.[(triple7 OR ((triple8) -> rule4) OR ((triple4 triple6) -> rule3) OR ((triple4 ((triple4 triple5) -> rule5)) -> rule3) OR ((((((triple8) -> rule1) triple5) -> rule2) triple6) -> rule3) OR ((((((triple8) -> rule1) triple5) -> rule2) ((triple4 triple5) -> rule5)) -> rule3) OR ((triple4 ((((((triple8) -> rule1) triple5) -> rule2) triple5) -> rule5)) -> rule3) OR ((((((triple8) -> rule1) triple5) -> rule2) ((((((triple8) -> rule1) triple5) -> rule2) triple5) -> rule5)) -> rule3))] Charlie is young.[(triple8)] Erin is blue.[(triple9 OR ((triple12) -> rule1))] Erin is kind.[(triple10)] Erin is nice.[(triple11 OR ((((triple9 triple10) -> rule2) triple10) -> rule5) OR ((((((triple12) -> rule1) triple10) -> rule2) triple10) -> rule5))] Erin is young.[(triple12)] @1: Bob is young.[(((triple3) -> rule6))] Charlie is blue.[(((triple8) -> rule1))] Erin is cold.[(((triple9 triple10) -> rule2) OR ((((triple12) -> rule1) triple10) -> rule2))] Erin is rough.[(((triple12) -> rule4) OR ((((triple9 triple10) -> rule2) triple11) -> rule3) OR ((((((triple12) -> rule1) triple10) -> rule2) triple11) -> rule3) OR ((((triple9 triple10) -> rule2) ((((triple9 triple10) -> rule2) triple10) -> rule5)) -> rule3) OR ((((((triple12) -> rule1) triple10) -> rule2) ((((triple9 triple10) -> rule2) triple10) -> rule5)) -> rule3) OR ((((triple9 triple10) -> rule2) ((((((triple12) -> rule1) triple10) -> rule2) triple10) -> rule5)) -> rule3) OR ((((((triple12) -> rule1) triple10) -> rule2) ((((((triple12) -> rule1) triple10) -> rule2) triple10) -> rule5)) -> rule3))] @2: Bob is blue.[(((((triple3) -> rule6)) -> rule1))] @3: Bob is cold.[(((((((triple3) -> rule6)) -> rule1) triple1) -> rule2))] @4: Bob is nice.[(((((((((triple3) -> rule6)) -> rule1) triple1) -> rule2) triple1) -> rule5))]