The rabbit is green. If someone is nice then they are young. All nice people are young. Young people are not big. Young people are not big. If the rabbit is cold and the rabbit is not green then the rabbit is not big. If someone is cold and green then they are nice. All big, young people are nice. All green people are cold.
The rabbit is nice.
@0: The rabbit is green.[(triple1)] @1: The rabbit is cold.[(((triple1) -> rule8))] @2: The rabbit is nice.[(((((triple1) -> rule8) triple1) -> rule6))] @3: The rabbit is young.[(((((((triple1) -> rule8) triple1) -> rule6)) -> rule1) OR ((((((triple1) -> rule8) triple1) -> rule6)) -> rule2))] @4: The rabbit is not big.[(((((((((triple1) -> rule8) triple1) -> rule6)) -> rule1)) -> rule3) OR ((((((((triple1) -> rule8) triple1) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple1) -> rule8) triple1) -> rule6)) -> rule2)) -> rule3) OR ((((((((triple1) -> rule8) triple1) -> rule6)) -> rule2)) -> rule4))]