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