Anne is green. Anne is nice. Anne is quiet. Anne is round. Bob is cold. Bob is green. Bob is nice. Bob is rough. Bob is young. Erin is cold. Erin is rough. Erin is round. If something is round and rough then it is green. If something is young and nice then it is cold. All rough things are round. If Bob is cold then Bob is green. Nice things are green. Cold things are rough.
Bob is young.
@0: Anne is green.[(triple1 OR ((triple2) -> rule5))] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Anne is round.[(triple4)] Bob is cold.[(triple5 OR ((triple9 triple7) -> rule2))] Bob is green.[(triple6 OR ((triple5) -> rule4) OR ((triple7) -> rule5) OR ((((triple9 triple7) -> rule2)) -> rule4) OR ((((triple8) -> rule3) triple8) -> rule1) OR ((((triple8) -> rule3) ((triple5) -> rule6)) -> rule1) OR ((((((triple5) -> rule6)) -> rule3) triple8) -> rule1) OR ((((triple8) -> rule3) ((((triple9 triple7) -> rule2)) -> rule6)) -> rule1) OR ((((((triple5) -> rule6)) -> rule3) ((triple5) -> rule6)) -> rule1) OR ((((((triple5) -> rule6)) -> rule3) ((((triple9 triple7) -> rule2)) -> rule6)) -> rule1) OR ((((((((triple9 triple7) -> rule2)) -> rule6)) -> rule3) triple8) -> rule1) OR ((((((((triple9 triple7) -> rule2)) -> rule6)) -> rule3) ((triple5) -> rule6)) -> rule1) OR ((((((((triple9 triple7) -> rule2)) -> rule6)) -> rule3) ((((triple9 triple7) -> rule2)) -> rule6)) -> rule1))] Bob is nice.[(triple7)] Bob is rough.[(triple8 OR ((triple5) -> rule6) OR ((((triple9 triple7) -> rule2)) -> rule6))] Bob is young.[(triple9)] Erin is cold.[(triple10)] Erin is rough.[(triple11 OR ((triple10) -> rule6))] Erin is round.[(triple12 OR ((triple11) -> rule3) OR ((((triple10) -> rule6)) -> rule3))] @1: Bob is round.[(((triple8) -> rule3) OR ((((triple5) -> rule6)) -> rule3) OR ((((((triple9 triple7) -> rule2)) -> rule6)) -> rule3))] Erin is green.[(((triple12 triple11) -> rule1) OR ((triple12 ((triple10) -> rule6)) -> rule1) OR ((((triple11) -> rule3) triple11) -> rule1) OR ((((triple11) -> rule3) ((triple10) -> rule6)) -> rule1) OR ((((((triple10) -> rule6)) -> rule3) triple11) -> rule1) OR ((((((triple10) -> rule6)) -> rule3) ((triple10) -> rule6)) -> rule1))]